Beispielbild für diese ISBN

Handbook of Practical Logic and Automated Reasoning

Harrison, John

Verlag: Cambridge University Press, 2009
ISBN 10: 0521899575 / ISBN 13: 9780521899574
Neu / Hardcover / Anzahl: 1
Verkäufer Book Deals (Lewiston, NY, USA)
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen
In den Warenkorb legen
Regulärer Preis:
Preis: EUR 253,59
Währung umrechnen
Versand: EUR 0,00
Innerhalb USA
Versandziele, Kosten & Dauer

Für später vormerken

Über dieses Buch

Bibliografische Details


Titel: Handbook of Practical Logic and Automated ...

Verlag: Cambridge University Press

Erscheinungsdatum: 2009

Einband: Hardcover

Zustand: New

Beschreibung:

Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: Preface; Ideological orientation; Acknowledgements; How to read this book; 1. Introduction; 2. Propositional logic; 3. First-order logic; 4. Equality; 5. Decidable problems; 6. Interactive theorem proving; 7. Limitations; Appendix 1. Mathematical background; Appendix 2. OCaml made light of; Appendix 3. Parsing and printing of formulas; References; Index. Buchnummer des Verkäufers ABE_book_new_0521899575

Über diesen Titel:

Bewertung (bereitgestellt von GoodReads):
4,11 durchschnittlich
(9 Bewertungen)

Inhaltsangabe: 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.

Inhaltsangabe: A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieter- & Zahlungsinformationen

Zahlungsarten

Dieser Anbieter akzeptiert die folgenden Zahlungsarten:

  • American Express
  • Carte Bleue
  • EuroCard/MasterCard
  • Visa

[Im Angebot des Anbieters suchen]

[Alle Bücher des Anbieters anzeigen]

[Dem Anbieter eine Frage stellen]

Anbieter: Book Deals
Adresse: Lewiston, NY, USA

AbeBooks Verkäufer seit: 7. Mai 2014
Bewertung: 4 Sterne

Geschäftsbedingungen:

We guarantee the condition of every book as it's described on the AbeBooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind
about a book that you've ordered, please use the Ask bookseller a question link
to contact us and we'll respond within 2 business days.


Versandinformationen:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.