Handbook of Practical Logic and Automated ...

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

161,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

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 Orchestra.He 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.

Erscheinungsjahr:	2015
Fachbereich:	Allgemeines
Genre:	Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Buch
Seiten:	702
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,372 kg

Ähnliche Produkte