Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Subject: #Automatic theorem proving)
Results:5items
Symposium on Automatic Demonstration / edited by M. Laudet {and others}
125. - Berlin : Springer , 1970. - (Lecture notes in mathematics ; 125)
Books
Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin
Cambridge, Mass. : MIT Press , c1991
Symbolic logic and mechanical theorem proving / {by} Chin-liang Chang {and} Richard Char-Tung Lee.
New York : Academic Press , {1973}. - (Computer science and applied mathematics)
Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
713. - Berlin : Springer , c1993.. - (Lecture notes in computer science ; 713)
Knowledge based theorem proving and learning / by Donald N. Cohen.
no. 4. - Ann Arbor, Mich. : U. M. I. Research Press , c1981.. - (Computer science. Artificial intelligence ; no. 4)