|
|
| All results: |
Sort by:
|
|
Showing books
1
through 10 of 193:
|
|
Items per page:
10 | 20 | 50 | 100 |
|
|
| 1. |
|
Logic for Computer Science: Foundations of Automatic Theorem Proving
by Jean H. Gallier
Book,
Harper & Row
(January 1986)
Other Formats:
|
Hardcover |
|
|
 |
| 2. |
|
Types for Proofs And Programs: International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers
by Jean-christophe Filliatre (Editor), Christine Paulin-Mohring (Editor), Benjamin Werner (Editor)
Paperback,
Springer-Verlag New York Inc
(February 2006)
List Price: $63.00
|
|
|
| 3. |
|
Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '96 Karlsruhe, Germany, September 18-20-, 1996 Proceedings
by Germany) International Symposium Disco '9 (1996 Karlsruhe, Carla Limongelli (Editor)
Paperback,
Springer Verlag
(October 1996)
List Price: $82.95
|
|
|
| 4. |
|
Theorem Proving With the Real Numbers
by John Harrison
Hardcover,
Springer Verlag
(June 1998)
List Price: $99.00
|
|
|
| 5. |
|
A Resolution Principle for a Logic With Restricted Quantifiers
by H.J. Burckert
Book,
Springer-Verlag
(January 1991)
Other Formats:
|
Paperback |
|
|
|
| 6. |
|
Automated Reasoning: Introduction and Applications/Book & Disk
by Larry Wos
Hardcover,
McGraw-Hill
(March 1992)
List Price: $50.00
|
|
|
| 7. |
|
Automated Deduction - Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
by R. Nieuwenhuis (Editor)
Paperback,
Springer Verlag
(September 2005)
List Price: $84.00
|
|
|
| 8. |
|
Logical Environments
by Gerard Huet, Gordon Plotkin (Editor), G. Plotkin
Hardcover,
Cambridge Univ Pr
(July 1993)
List Price: $120.00
|
|
|
| 9. |
|
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
by Shang-Ching Chou, Xian-Shan Gao, Jing-Zhong Zhang
Hardcover,
World Scientific Pub Co Inc
(April 1994)
List Price: $91.00
|
|
|
| 10. |
|
The Application of Theorem Proving to Question-Answering Systems
by Claude Cordell Green
Book,
Garland Pub
(January 1980)
|
|
|
|
Showing books
1
through 10 of 193:
|
|
Items per page:
10 | 20 | 50 | 100 |
|
|
|
 |
© Copyright 1948-2007 Muze Inc. For personal non-commercial use only. All rights reserved.