Handbook of Practical Logic and Automated ...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

170,70 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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

Über den Autor

John Harrison is known as a writer and illustrator of children's picture books:Lucy Mouse Pie and Peas 1981Fergal Onions UQP 2004Wirbelwind und Saitentanz Schott 2010Fadge the Grooble e-books 2020In 2019, relishing a change of pace, he began writing his crime novel, Sonata for Flute and Electric Drill, now published by Ocean Reeve. From 1967 until 2005, John worked as a professional musician, playing clarinet and bass clarinet as a member of the Queensland Symphony [...] has been a resident of Launceston, Tasmania since 2016.

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	2015
Fachbereich:	Allgemeines
Genre:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Buch
Inhalt:	Gebunden
ISBN-13:	9780521899574
ISBN-10:	0521899575
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Harrison, John
Hersteller:	Cambridge University Press
Maße:	250 x 175 x 42 mm
Von/Mit:	John Harrison
Erscheinungsdatum:	31.07.2015
Gewicht:	1,37 kg

Artikel-ID: 101651879

Über den Autor

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2015
Fachbereich:	Allgemeines
Genre:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Buch
Inhalt:	Gebunden
ISBN-13:	9780521899574
ISBN-10:	0521899575
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Harrison, John
Hersteller:	Cambridge University Press
Maße:	250 x 175 x 42 mm
Von/Mit:	John Harrison
Erscheinungsdatum:	31.07.2015
Gewicht:	1,37 kg