Computers: General: Automatic theorem proving Books, Automated Technology for Verification and Analysis

Browse by Subject

Subjects > Computers > General > Automatic theorem proving

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

by Jin-Young Choi (Editor), Insup Lee (Editor), Sungdeok Cha (Editor), Moonzoo Kim (Editor), Mahesh Viswanathan (Editor)
Paperback - December 2008
List price: $89.95

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

by Nachum Dershowitz (Editor), Andrei Voronkov (Editor)
Paperback - December 2007
List price: $99.00

Automated Technology for Verification and Analysis: 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Automated Technology for Verification and Analysis: 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

by Teruo Higashino (Editor), Kedar Namjoshi (Editor), Tomohiro Yoneda (Editor), Yoshio Okamura (Editor)
Paperback - December 2007
List price: $99.00

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

by Thorsten Altenkirch (Editor), Conor Mcbride (Editor)
Paperback - October 2007
List price: $69.95

Theorem Proving in Higher Order Logics: 20th International Conference, Tphols 2007

Theorem Proving in Higher Order Logics: 20th International Conference, Tphols 2007

by Klaus Schneider (Editor), Jens Brandt (Editor)
Paperback - October 2007
List price: $79.95

Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings

Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings

by Nicola Olivetti (Editor)
Paperback - September 2007
List price: $64.95

Automated Deduction -- CADE 21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Automated Deduction -- CADE 21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

by Frank Pfenning (Editor)
Paperback - September 2007
List price: $89.95

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

by Andrei Voronkov (Editor), Miki Hermann (Editor)
Paperback - January 2007
List price: $115.00

From Insight to Proof: Festschrift in Honour of Andrzej Trybulec

From Insight to Proof: Festschrift in Honour of Andrzej Trybulec

by Andrzej Trybulec, Anna Zalewska, Roman Matuszewski
Book - January 2007

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

by Susanne Graf (Editor), Wenhui Zhang (Editor)
Paperback - November 2006
List price: $95.00

251 Titles

Items per page: 10 | 25 | 50

Showing 1 - 10

Pages: 1 2 3 4 5 6 7 8 9 10 Next >>

Page Execution took 0.2147 seconds