Buy Used and New Martin Davis Books

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science)

by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov

ISBN 13: 9783662488980

Format: Paperback (656 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Jacob T. T. Schwartz,Martin Davis,Domenico Cantone,Eugenio G. Omodeo

ISBN 13: 9781447160182

Format: Paperback (436 pages)
Publisher: Springer
Published: 06 Sep 2014

Save for later

Practical Injection Molding: 63 (Plastics Engineering)

by Bernie A. Olmsted,Martin Davis

ISBN 13: 9780824705299

Format: Hardcover (232 pages)
Publisher: CRC Press
Published: 14 Mar 2001

Save for later

Handmaiden of The Sun: Book Two - Resolution

by Martin Davis

ISBN 13: 9780244564360

Format: Paperback (316 pages)
Publisher: lulu.com
Published: 24 Mar 2020

Save for later