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… Altro …
Waterstones.com Nr. 9780521899574. Costi di spedizione:, , zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
2009, ISBN: 9780521899574
edizione con copertina rigida
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… Altro …
amazon.co.uk |
2009, ISBN: 9780521899574
edizione con copertina rigida
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… Altro …
amazon.de SerendipityBooksLtd Costi di spedizione: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
edizione con copertina rigida
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… Altro …
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 Costi di spedizione: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… Altro …
2009, ISBN: 9780521899574
edizione con copertina rigida
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… Altro …
2009
ISBN: 9780521899574
edizione con copertina rigida
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… Altro …
2009, ISBN: 9780521899574
edizione con copertina rigida
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… Altro …
2015, ISBN: 0521899575
Gebundene Ausgabe PHILOSOPHY / General, mit Schutzumschlag 11, [PU:Cambridge University Press]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Handbook of Practical Logic and Automated Reasoning
EAN (ISBN-13): 9780521899574
ISBN (ISBN-10): 0521899575
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2009
Editore: Cambridge University Press
681 Pagine
Peso: 1,406 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2008-12-12T00:16:11+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-12-07T17:06:14+01:00 (Zurich)
ISBN/EAN: 9780521899574
ISBN - Stili di scrittura alternativi:
0-521-89957-5, 978-0-521-89957-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : john harrison, harris, actual source
Titolo del libro: automated reasoning, practical reasoning, practical logic, auto handbook, log, john harrison
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9780511576430 Handbook of Practical Logic and Automated Reasoning (John Harrison)
< Per archiviare...