Search results for "Logic for Computer Science: Foundations of Automatic Theorem Proving"
11 results found
Search results
Science & Mathematics
Automated Theorem Proving by Wolfgang Bibel | Vieweg + Teubner Verlag | German Hardcover | 1982 Edition | Artificial Intelligence & Computer Science
₹3,693.8
Programming
Handbook of Logic in Computer Science by Abramsky
₹5,908
Programming
Handbook of Logic in Computer Science by Maibaum
₹5,958
Programming
Foundation Mathematics for Computer Science by John Vince
₹4,097
Science & Mathematics
Essentials of Logic (English, Copi Irving)
₹4,968
Science & Mathematics
Mathematics in Action (English, Consortium for Foundation Mathematics)
₹4,043
Programming
Linear Logic in Computer Science by Thomas Ehrhard
₹5,055
Programming
Logic and Computer Science: Lectures given at the 1st Sessio
₹2,210
Computers & Internet
Logic Programming and Automated Reasoning (English, Andrei Voronkov)
₹5,639
Computers & Internet
Computer Science Logic: CSL 2004 Proceedings (Lecture Notes in Computer Science 3210) by Jerzy Marcinkowski - Springer, English, Paperback, 2004 Edition
₹5,206.6
Science & Mathematics
Foundations of Mathematics: Investment Banking: v. 19 (Logic
₹1,814