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… Meer...
Waterstones.com Nr. 9780521899574. Verzendingskosten:, , zzgl. Versandkosten., exclusief verzendingskosten Details... |
2009, ISBN: 9780521899574
gebonden uitgave
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… Meer...
amazon.co.uk |
2009, ISBN: 9780521899574
gebonden uitgave
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… Meer...
amazon.de SerendipityBooksLtd Verzendingskosten: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
gebonden uitgave
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… Meer...
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 Verzendingskosten: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… Meer...
2009, ISBN: 9780521899574
gebonden uitgave
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… Meer...
2009
ISBN: 9780521899574
gebonden uitgave
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… Meer...
2009, ISBN: 9780521899574
gebonden uitgave
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… Meer...
2015, ISBN: 0521899575
Gebundene Ausgabe PHILOSOPHY / General, mit Schutzumschlag 11, [PU:Cambridge University Press]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Handbook of Practical Logic and Automated Reasoning
EAN (ISBN-13): 9780521899574
ISBN (ISBN-10): 0521899575
Gebonden uitgave
pocket book
Verschijningsjaar: 2009
Uitgever: Cambridge University Press
681 Bladzijden
Gewicht: 1,406 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2008-12-12T00:16:11+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-12-07T17:06:14+01:00 (Amsterdam)
ISBN/EAN: 9780521899574
ISBN - alternatieve schrijfwijzen:
0-521-89957-5, 978-0-521-89957-4
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: john harrison, harris, actual source
Titel van het boek: automated reasoning, practical reasoning, practical logic, auto handbook, log, john harrison
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780511576430 Handbook of Practical Logic and Automated Reasoning (John Harrison)
< naar Archief...