An edition of Proof theory and automated deduction
(1997)
Proof theory and automated deduction
by Jean Goubault-Larrecq
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by Open Library Bot
April 28, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Proof theory, Automatic theorem proving| Edition | Availability |
|---|---|
1
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. 407-413) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?Lists
See All
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 6, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |