Buy Used and New RenateA.Schmidt Books

Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings: 5663 (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642029585

Format: Paperback (504 pages)
Publisher: Springer
Published: 10 Jul 2009

Save for later

Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic: Mathematical Logic and Foundations)

by Dov Gabbay,Renate A. Schmidt,Andrzej Szalas

ISBN 13: 9781904987567

Format: Paperback (320 pages)
Publisher: College Publications
Published: 17 Apr 2008

Save for later