Automated Deduction - CADE-19
Subtitle: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540450856
Subjects: Automatic theorem proving; Logic, symbolic and mathematical