ISBN 10: 0521899575 / ISBN 13: 9780521899574
Gebraucht / Anzahl: 0
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Exemplar nicht mehr verfügbar. Wir haben Ihnen weitere Exemplare dieses Titels unten aufgelistet.

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

Ü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.

Book Description: 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.

Bibliografische Details

Zustand: New

Beste Suchergebnisse bei AbeBooks

1.

Harrison, John
Verlag: Cambridge University Press (2016)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Neu Paperback Anzahl: 1
Print-on-Demand
Anbieter
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Cambridge University Press, 2016. Paperback. Buchzustand: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Buchnummer des Verkäufers ria9780521899574_lsuk

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 124,73
Währung umrechnen

In den Warenkorb

Versand: EUR 4,33
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

2.

John Harrison
Verlag: Cambridge University Press (2009)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Neu Hardcover Anzahl: 1
Anbieter
Revaluation Books
(Exeter, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Cambridge University Press, 2009. Hardcover. Buchzustand: Brand New. 1st edition. 704 pages. 9.75x7.00x1.50 inches. In Stock. Buchnummer des Verkäufers __0521899575

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 133,38
Währung umrechnen

In den Warenkorb

Versand: EUR 6,71
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

3.

JOHN HARRISON
ISBN 10: 0521899575 ISBN 13: 9780521899574
Neu Hardcover Anzahl: 1
Anbieter
Herb Tandree Philosophy Books
(Stroud, GLOS, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung 2009. Hardback. Buchzustand: NEW. 9780521899574 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Buchnummer des Verkäufers HTANDREE0483673

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 139,71
Währung umrechnen

In den Warenkorb

Versand: EUR 8,95
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

4.

Harrison, John
Verlag: Cambridge University Press (2009)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Books2Anywhere
(Fairford, GLOS, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Cambridge University Press, 2009. HRD. Buchzustand: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Buchnummer des Verkäufers IP-9780521899574

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 147,27
Währung umrechnen

In den Warenkorb

Versand: EUR 10,07
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

5.

Harrison, John
Verlag: Cambridge University Press (2009)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Pbshop
(Wood Dale, IL, USA)
Bewertung
[?]

Buchbeschreibung Cambridge University Press, 2009. HRD. Buchzustand: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Buchnummer des Verkäufers IP-9780521899574

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 146,46
Währung umrechnen

In den Warenkorb

Versand: EUR 3,39
Innerhalb USA
Versandziele, Kosten & Dauer

6.

John Harrison
Verlag: Cambridge University Press (2009)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Gebraucht Hardcover Anzahl: 1
Anbieter
Ergodebooks
(RICHMOND, TX, USA)
Bewertung
[?]

Buchbeschreibung Cambridge University Press, 2009. Hardcover. Buchzustand: Used: Good. Buchnummer des Verkäufers SONG0521899575

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 175,17
Währung umrechnen

In den Warenkorb

Versand: EUR 3,39
Innerhalb USA
Versandziele, Kosten & Dauer

7.

Harrison, John
Verlag: Cambridge University Press (2017)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Neu Hardcover Anzahl: > 20
Print-on-Demand
Anbieter
Murray Media
(North Miami Beach, FL, USA)
Bewertung
[?]

Buchbeschreibung Cambridge University Press, 2017. Hardcover. Buchzustand: New. Never used! This item is printed on demand. Buchnummer des Verkäufers 0521899575

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 178,49
Währung umrechnen

In den Warenkorb

Versand: EUR 1,69
Innerhalb USA
Versandziele, Kosten & Dauer

8.

Harrison, John
Verlag: Cambridge University Press (2009)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Neu Hardcover Anzahl: 10
Anbieter
Ergodebooks
(RICHMOND, TX, USA)
Bewertung
[?]

Buchbeschreibung Cambridge University Press, 2009. Hardcover. Buchzustand: New. Buchnummer des Verkäufers INGM9780521899574

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 179,19
Währung umrechnen

In den Warenkorb

Versand: EUR 3,39
Innerhalb USA
Versandziele, Kosten & Dauer

9.

John Harrison
Verlag: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Neu Hardcover Anzahl: 10
Print-on-Demand
Anbieter
The Book Depository
(London, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Hardback. Buchzustand: New. Language: English . Brand New Book ***** Print on Demand *****.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 construction and of programming language design. 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. Buchnummer des Verkäufers APC9780521899574

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 185,22
Währung umrechnen

In den Warenkorb

Versand: Gratis
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

10.

Harrison, John
Verlag: Cambridge University Press (2017)
ISBN 10: 0521899575 ISBN 13: 9780521899574
Gebraucht Hardcover Anzahl: 2
Print-on-Demand
Anbieter
Murray Media
(North Miami Beach, FL, USA)
Bewertung
[?]

Buchbeschreibung Cambridge University Press, 2017. Hardcover. Buchzustand: Very Good. Great condition with minimal wear, aging, or shelf wear. This item is printed on demand. Buchnummer des Verkäufers P020521899575

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 186,44
Währung umrechnen

In den Warenkorb

Versand: EUR 1,69
Innerhalb USA
Versandziele, Kosten & Dauer

Es gibt 11 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen