Tagtheorem proving
Tagged Works
Most often tagged | Weighted | Popular recently | Published recently — Filter: None (edit)
- Interactive Theorem Proving and Program Development by Yves Bertot (3 times)
- Term Rewriting and All That by Franz Baader (2 times)
- Isabelle/HOL: A Proof Assistant for Higher-Order Logic by Tobias Nipkow (2 times)
- Automated theorem proving : after 25 years by W. W. Bledsoe (1 times)
- Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation) by Jörg Siekmann (1 times)
- Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation) by Jörg Siekmann (1 times)
- The Little Prover by Daniel P. Friedman (1 times)
- 5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87) by France) Conference on Automated Deduc Savoie Arcs (1 times)
- Studies in automatic programming logic by Zohar Manna (1 times)
- Computer Programming and Formal Systems by P. Braffort (1 times)
- The Computational Logic Handbook (Perspectives in Computing) by Robert S. Boyer (1 times)
- Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) by Lawrence C. Paulson (1 times)
- Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic by M.J.C. Gordon (1 times)
- Theorem Proving in Higher Order Logics (TPHOLs 2005) by Joe Hurd (1 times)
- Deduction Systems (Texts in Computer Science) by Rolf Socher-Ambrosius (1 times)
- Computational Logic (ACM monograph series) by Robert S. Boyer (1 times)
- Logic, form and function : the mechanization of deductive reasoning by J. A Robinson (1 times)
- Logic and Computation: Interactive Proof with Cambridge LCF by Lawrence C. Paulson (1 times)
- Logic for Computer Science by Jean H. Gallier (1 times)
- Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Chin-Liang Chang (1 times)
- Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) by Donald MacKenzie (1 times)
- Computers and Thought by Edward A. Feigenbaum (1 times)
Using the Tag
pmcjones (12), louisedennis (6), draganigajic (3), dakvid (1), bertilak (1), prosfilaes (1), mekaj (1), thomasballinger (1)Recently Tagged
Google Books Ngram Viewer
Data from Books Ngram Viewer