. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 132.33 EUR, größter Preis: 145.20 EUR, Mittelwert: 138.24 EUR
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

ISBN: 0521899575

[SR: 1433905], Hardcover, [EAN: 9780521899574], Cambridge University Press, Cambridge University Press, Book, [PU: Cambridge University Press], Cambridge University Press, 3952, Programming Languages, 3953, Ada, 379359011, Ajax, 3954, Assembly Language Programming, 3955, Borland Delphi, 3956, C & C++, 697342, C#, 379357011, CSS, 3970, Compiler Design, 3971, Compilers, 379358011, DHTML, 3974, Debugging, 285855, Delphi, 3977, Fortran, 3608, Java, 3981, Lisp, 6134005011, Perl, 3987, Prolog, 285856, Python, 3990, RPG, 6134006011, Ruby, 11006483011, Swift, 3996, Visual Basic, 285859, XHTML, 4052, XML, 285858, XSL, 5, Computers & Technology, 1000, Subjects, 283155, Books, 11143, Clinical Psychology, 6511980011, Psychology, 173514, Medical Books, 1000, Subjects, 283155, Books, 11019, Philosophy, 11021, Aesthetics, 15811681, Analytic Philosophy, 11023, Consciousness & Thought, 886132, Criticism, 11025, Eastern, 11035, Epistemology, 11037, Ethics & Morality, 11041, Free Will & Determinism, 11045, Good & Evil, 11047, Greek & Roman, 11049, History & Surveys, 11053, Logic & Language, 11054, Medieval Thought, 11055, Metaphysics, 15811591, Methodology, 11057, Modern, 11059, Modern Renaissance, 886134, Movements, 11065, Political, 11070, Reference, 11072, Religious, 15811601, Social Philosophy, 3377866011, Politics & Social Sciences, 1000, Subjects, 283155, Books, 491314, Programming Languages, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 468232, Philosophy, 491424, Aesthetics, 684279011, Epistemology, 491426, Ethics, 491428, History & Surveys, 684280011, Logic, 491432, Metaphysics, 468206, Humanities, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

Neues Buch Amazon.com
Wordery USA
, Neuware Versandkosten:Usually ships in 1-2 business days, 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: 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 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. Textbooks New, Books~~Computers~~Programming Languages~~General, Handbook-of-Practical-Logic-and-Automated-Reasoning~~John-Harrison, 1422566, Handbook of Practical Logic and Automated Reasoning, John Harrison, 0521899575, Cambridge University Press, , , , , Cambridge University Press

Neues Buch Barnesandnoble.com
MPN: , SKU 9780521899574 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: 52f3019f5a23f4b8a04b5285af80f3a5

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. Bücher / Fremdsprachige Bücher / Englische Bücher 978-0-521-89957-4, Cambridge University Press

Neues Buch Buch.de
Nr. 17199092 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, 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 - John Harrison
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Harrison:
Handbook of Practical Logic and Automated Reasoning - gebunden oder broschiert

ISBN: 9780521899574

Hardback, [PU: CAMBRIDGE UNIVERSITY PRESS], A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied., Artificial Intelligence

Neues Buch Bookdepository.com
Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Handbk Pract Log Automatd Reasoning Hb - Vv.Aa.
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Vv.Aa.:
Handbk Pract Log Automatd Reasoning Hb - neues Buch

ISBN: 9780521899574

ID: 0010087706

Handbk Pract Log Automatd Reasoning Hb editado por Cambridge, [PU: Cambridge University Press]

Neues Buch Imosver.com
Imosver
ENG Versandkosten:spese di spedizione aggiuntive, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Handbook of Practical Logic and Automated Reasoning
Autor:

Harrison, John

Titel:

Handbook of Practical Logic and Automated Reasoning

ISBN-Nummer:

9780521899574

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 27.10.2016 22:48:43
ISBN/EAN: 9780521899574

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher