Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 108,54 €, prix le plus élevé: 225,99 €, prix moyen: 153,89 €
Handbook of Practical Logic and Automated Reasoning - Harrison, John
Livre non disponible
(*)
Harrison, John:
Handbook of Practical Logic and Automated Reasoning - livre d'occasion

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

livre d'occasion Betterworldbooks.com
Frais d'envoizzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Handbook of Practical Logic and Automated Reasoning
Livre non disponible
(*)
Handbook of Practical Logic and Automated Reasoning - nouveau livre

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]

Nouveaux livres Wordery.com
Nr. Frais d'envoi, , zzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Handbook of Practical Logic and Automated Reasoning - John Harrison
Livre non disponible
(*)
John Harrison:
Handbook of Practical Logic and Automated Reasoning - nouveau livre

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

Nouveaux livres Thalia.de
No. 17199092 Frais d'envoi, Versandfertig in 1 - 2 Wochen, DE (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Handbook of Practical Logic and Automated Reasoning - Harrison, John
Livre non disponible
(*)
Harrison, John:
Handbook of Practical Logic and Automated Reasoning - nouveau livre

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

Nouveaux livres Ebooks.com
Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Handbook of Practical Logic and Automated Reasoning - John Harrison
Livre non disponible
(*)
John Harrison:
Handbook of Practical Logic and Automated Reasoning - edition reliée, livre de poche

2009, ISBN: 9780521899574

ID: 9343246

Hardcover, Buch, [PU: Cambridge University Press]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 15-20 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
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.

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
Date de parution: 2009
Editeur: CAMBRIDGE UNIV PR
681 Pages
Poids: 1,406 kg
Langue: eng/Englisch

Livre dans la base de données depuis 12.12.2008 00:16:11
Livre trouvé récemment le 18.11.2017 20:27:55
ISBN/EAN: 9780521899574

ISBN - Autres types d'écriture:
0-521-89957-5, 978-0-521-89957-4


< pour archiver...
Livres en relation