Automated Deduction - CADE-20
Subtitle: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540318644
Subjects: Automatic theorem proving; Logic, symbolic and mathematical