D. A. Wolfram: The Clausal Theory of Types

Cover: 9780521117906 | The Clausal Theory of Types | D. A. Wolfram | Taschenbuch | Paperback

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

44,45 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

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

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

Inhaltsverzeichnis

1. Introduction; 2. Logic programming: a case study; 3. Simply typed l-calculus; 4. Higher-order logic; 5. Higher-order equational unification; 6. Higher-order equational logic programming.

Details

Erscheinungsjahr:	2009
Fachbereich:	Programmiersprachen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521117906
ISBN-10:	0521117909
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Wolfram, D. A.
Hersteller:	Cambridge University Press
Maße:	244 x 170 x 8 mm
Von/Mit:	D. A. Wolfram
Erscheinungsdatum:	14.04.2009
Gewicht:	0,249 kg

Artikel-ID: 101629830

Inhaltsverzeichnis

1. Introduction; 2. Logic programming: a case study; 3. Simply typed l-calculus; 4. Higher-order logic; 5. Higher-order equational unification; 6. Higher-order equational logic programming.

Details

Erscheinungsjahr:	2009
Fachbereich:	Programmiersprachen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521117906
ISBN-10:	0521117909
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Wolfram, D. A.
Hersteller:	Cambridge University Press
Maße:	244 x 170 x 8 mm
Von/Mit:	D. A. Wolfram
Erscheinungsdatum:	14.04.2009
Gewicht:	0,249 kg