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
Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642037535
Format: Paperback (357 pages) Publisher: Springer Published: 17 Aug 2009
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