Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... 3632 (Lecture Notes in Computer Science)

More Information

Format: Illustrated
Pages: 476
Edition: 2005
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008
ISBN 10: 3540280057
ISBN 13: 9783540280057