Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 0521899575 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 108,54 €, größter Preis: 225,99 €, Mittelwert: 153,89 €
Handbook of Practical Logic and Automated Reasoning - Harrison, John
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harrison, John:
Handbook of Practical Logic and Automated Reasoning - gebrauchtes Buch

ISBN: 9780521899574

ID: 1786255

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study. Handbook of Practical Logic and Automated Reasoning Harrison, John, Cambridge University Press

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten.
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Handbook of Practical Logic and Automated Reasoning
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Handbook of Practical Logic and Automated Reasoning - neues Buch

ISBN: 9780521899574

ID: 9780521899574

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study. Books, [PU: Cambridge University Press]

Neues Buch Wordery.com
Nr. Versandkosten:, , zzgl. Versandkosten.
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Handbook of Practical Logic and Automated Reasoning - John Harrison
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Harrison:
Handbook of Practical Logic and Automated Reasoning - neues Buch

ISBN: 9780521899574

ID: 745651178

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied. Handbook of Practical Logic and Automated Reasoning Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Cambridge University Press

Neues Buch Thalia.de
No. 17199092 Versandkosten:, Versandfertig in 1 - 2 Wochen, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Handbook of Practical Logic and Automated Reasoning - Harrison, John
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harrison, John:
Handbook of Practical Logic and Automated Reasoning - neues Buch

ISBN: 9780521899574

ID: 424447

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied. Computers Computers eBook, Cambridge University Press

Neues Buch Ebooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Handbook of Practical Logic and Automated Reasoning - John Harrison
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Harrison:
Handbook of Practical Logic and Automated Reasoning - gebunden oder broschiert

2009, ISBN: 9780521899574

ID: 9343246

Hardcover, Buch, [PU: Cambridge University Press]

Neues Buch Lehmanns.de
Versandkosten:Versand in 15-20 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Handbook of Practical Logic and Automated Reasoning

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

Detailangaben zum Buch - Handbook of Practical Logic and Automated Reasoning


EAN (ISBN-13): 9780521899574
ISBN (ISBN-10): 0521899575
Gebundene Ausgabe
Erscheinungsjahr: 2009
Herausgeber: CAMBRIDGE UNIV PR
681 Seiten
Gewicht: 1,406 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 12.12.2008 00:16:11
Buch zuletzt gefunden am 18.11.2017 20:27:55
ISBN/EAN: 0521899575

ISBN - alternative Schreibweisen:
0-521-89957-5, 978-0-521-89957-4


< zum Archiv...
Benachbarte Bücher