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… Plus…
Waterstones.com Nr. 9780521899574. Frais d'envoi, , zzgl. Versandkosten., Livraison non-comprise Details... |
2009, ISBN: 9780521899574
Edition reliée
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… Plus…
amazon.co.uk |
2009, ISBN: 9780521899574
Edition reliée
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… Plus…
amazon.de SerendipityBooksLtd Frais d'envoiGewö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
Edition reliée
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… Plus…
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 Frais d'envoiVersandkostenfrei 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… Plus…
2009, ISBN: 9780521899574
Edition reliée
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… Plus…
2009
ISBN: 9780521899574
Edition reliée
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… Plus…
2009, ISBN: 9780521899574
Edition reliée
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… Plus…
2015, ISBN: 0521899575
Gebundene Ausgabe PHILOSOPHY / General, mit Schutzumschlag 11, [PU:Cambridge University Press]
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Handbook of Practical Logic and Automated Reasoning
EAN (ISBN-13): 9780521899574
ISBN (ISBN-10): 0521899575
Version reliée
Livre de poche
Date de parution: 2009
Editeur: Cambridge University Press
681 Pages
Poids: 1,406 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2008-12-12T00:16:11+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-12-07T17:06:14+01:00 (Zurich)
ISBN/EAN: 0521899575
ISBN - Autres types d'écriture:
0-521-89957-5, 978-0-521-89957-4
Autres types d'écriture et termes associés:
Auteur du livre: john harrison, harris, actual source
Titre du livre: automated reasoning, practical reasoning, practical logic, auto handbook, log, john harrison
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9780511576430 Handbook of Practical Logic and Automated Reasoning (John Harrison)
< pour archiver...