An edition of Logic for programming and automated reasoning
(1999)
Logic Programming and Automated Reasoning
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
1 edition
by Harald Ganzinger , David McAllester , and Andrei Voronkov
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic programming, Congresses, Automatic theorem proving| Edition | Availability |
|---|---|
1
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
2003, Springer
in English
3540444041 9783540444046
|
zzzz
|
2
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
September 24, 1999, Springer
Paperback
in English
- 1 edition
3540664920 9783540664925
|
aaaa
|
Book Details
First Sentence
"A notation often used in informal mathematical proofs is ellipsis (the dots in a1 + ... + an)."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| October 4, 2021 | Edited by ImportBot | import existing book |
| July 5, 2019 | Edited by MARC Bot | import existing book |
| July 29, 2014 | Created by ImportBot | import new book |