2009, ISBN: 9780521899574
The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program constructi… More...
Waterstones.com Nr. 9780521899574. Shipping costs:, , zzgl. Versandkosten., plus shipping costs Details... |
2009, ISBN: 9780521899574
Hardcover
Cambridge University Press, Hardcover, Auflage: 1, 702 Seiten, Publiziert: 2009-03-12T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: YES3065827, 1.39 kg, Verkaufsrang: 1669213, Books Glo… More...
amazon.co.uk |
2009, ISBN: 9780521899574
Hardcover
Cambridge University Press, Gebundene Ausgabe, Auflage: 1, 702 Seiten, Publiziert: 2009-03-12T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: YES3065827, 3.06 kg, Verkaufsrang: 2159648, P… More...
amazon.de SerendipityBooksLtd Shipping costs:Gewöhnlich versandfertig in 2 bis 3 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2009, ISBN: 9780521899574
Hardcover
Cambridge University Press, Gebundene Ausgabe, Auflage: 1, 702 Seiten, Publiziert: 2009-03-12T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: YES3065827, 3.06 kg, Verkaufsrang: 2086028, P… More...
amazon.de |
2015, ISBN: 0521899575
Gebundene Ausgabe PHILOSOPHY / General, mit Schutzumschlag 11, [PU:Cambridge University Press]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2009, ISBN: 9780521899574
The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program constructi… More...
2009, ISBN: 9780521899574
Hardcover
Cambridge University Press, Hardcover, Auflage: 1, 702 Seiten, Publiziert: 2009-03-12T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: YES3065827, 1.39 kg, Verkaufsrang: 1669213, Books Glo… More...
2009
ISBN: 9780521899574
Hardcover
Cambridge University Press, Gebundene Ausgabe, Auflage: 1, 702 Seiten, Publiziert: 2009-03-12T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: YES3065827, 3.06 kg, Verkaufsrang: 2159648, P… More...
2009, ISBN: 9780521899574
Hardcover
Cambridge University Press, Gebundene Ausgabe, Auflage: 1, 702 Seiten, Publiziert: 2009-03-12T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: YES3065827, 3.06 kg, Verkaufsrang: 2086028, P… More...
2015, ISBN: 0521899575
Gebundene Ausgabe PHILOSOPHY / General, mit Schutzumschlag 11, [PU:Cambridge University Press]
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Handbook of Practical Logic and Automated Reasoning
EAN (ISBN-13): 9780521899574
ISBN (ISBN-10): 0521899575
Hardcover
Paperback
Publishing year: 2009
Publisher: Cambridge University Press
681 Pages
Weight: 1,406 kg
Language: eng/Englisch
Book in our database since 2008-12-11T18:16:11-05:00 (New York)
Detail page last modified on 2023-12-07T11:06:14-05:00 (New York)
ISBN/EAN: 0521899575
ISBN - alternate spelling:
0-521-89957-5, 978-0-521-89957-4
Alternate spelling and related search-keywords:
Book author: john harrison, harris, actual source
Book title: automated reasoning, practical reasoning, practical logic, auto handbook, log, john harrison
More/other books that might be very similar to this book
Latest similar book:
9780511576430 Handbook of Practical Logic and Automated Reasoning (John Harrison)
< to archive...