京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Automatic theorem proving)
該当件数:2件
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Berlin : Springer , c2004. - (Texts in theoretical computer science ; An EATCS series)
図書
Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.]
Berlin : Springer-Verlag , 1970. - (Lecture notes in mathematics ; 125)