Automated Theorem Proving
Wolfgang Bibel
₹3,508
Results for “Automatic theorem proving”
Showing 1–24 of 111 books
Automated Theorem Proving
Wolfgang Bibel
₹7,764
First-Order Logic and Automated Theorem Proving
Melvin Fitting
₹2,838
Interactive Theorem Proving
Matt Kaufmann, Lawrence C. Paulson
₹4,675
Interactive Theorem Proving
Christian Urban, Xingyuan Zhang
₹4,275
Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz
₹4,258
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Interactive Theorem Proving
Lennart Beringer, Amy Felty
₹5,590
Interactive Theorem Proving
Mauricio Ayala-Rincón, César A. Muñoz
₹3,927
Automated Inequality Proving and Discovering
Bican Xia, Lu Yang
₹4,220
First Order Logic and Automated Theorem Proving 2ed (pb 1996)
Fitting M.
₹6,994
Mechanical Theorem Proving in Geometries
Wen-Tsun Wu
₹2,664
Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz
₹5,561
Theorem Proving in Higher Order Logics
Juris Hartmanis Gerhard Goos, Joakim Wright Jan Leeuwen, John Harrison Jim Grundy
₹3,391
Symbolic Logic and Mechanical Theorem Proving
Richard Char-Tung Lee, Chin-Liang Chang
₹4,374
Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson
₹5,718
Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
₹5,680
Theorem Proving with the Real Numbers
John Harrison
₹7,730
Theorem Proving in Higher Order Logics
TPHOLs 2007 (2007 Kaiserslautern, Germany)
₹4,259
Theorem Proving in Higher Order Logics
Joe Hurd
₹4,776
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Axiomatic Set Theory
W.M Zaring, G. Takeuti
₹3,776
Axiomatic Set Theory
R.B Chuaqui
₹3,394
Axiomatic Set Theory
A. A. Fraenkel, Paul Bernays
₹2,652