Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings: 2741 (Lecture Notes in Computer Science, 2741)

More Information

Format: Paperback
Pages: 524
Edition: 2003
Publisher: Springer
Published: 10 Oct 2008
ISBN 10: 3540405593
ISBN 13: 9783540405597