Home > Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Book Informaton
Author
Robert Nieuwenhuis
Series
Lecture Notes in Computer Science
Volume
3632
Year of Publication
2005
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XIV, 466
Language
EN
ISBN
9783540280057, 9783540318644
ARI Id
1664714199862
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |