城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Verification )
該当件数:3件
A computer system for checking proofs / by Scott D. Johnson.
no. 12. - Ann Arbor, Mich. : U. M. I. Research Press , c1982.. - (Computer science. Artificial intelligence ; no. 12)
図書
Induction, probability, and confirmation / edited by Grover Maxwell and Robert M. Anderson, Jr., for the Minnesota Center for Philosophy of Science.
v. 6. - Minneapolis, Minn. : University of Minnesota Press , c1975.. - (Minnesota studies in the philosophy of science ; v. 6)
Methodological pragmatism : a systems-theoretic approach to the theory of knowledge / Nicholas Rescher.
Oxford : Blackwell , 1977