人文社会学科 哲学系

フィルター
Chapter

検索結果

  • 2014

    Wittgenstein on equinumerosity and surveyability

    Marion, M. & Okada, M., 2014 12 19, Themes from Wittgenstein and Quine. Brill, Vol. 89. p. 61-78 18 p.

    研究成果: Chapter

    1 被引用数 (Scopus)
  • 2003

    A logical verification method for security protocols based on linear logic and BAN logic

    Hasebe, K. & Okada, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Okada, M., Pierce, B. C., Scedrov, A., Tokuda, H. & Yonezawa, A. (eds.). Springer Verlag, p. 417-440 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2609).

    研究成果: Chapter

    2 被引用数 (Scopus)
  • 2002

    Ideal concepts, intuitions, and mathematical knowledge acquisitions in Husserl and Hilbert

    Okada, M., 2002 12 1, Progress in Discovery Science. Arikawa, S. & Shinohara, A. (eds.). p. 40-77 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2281).

    研究成果: Chapter

    1 被引用数 (Scopus)