Zur Startseite gehen
0,00 €*
Cover: 9780521117906 | The Clausal Theory of Types | D. A. Wolfram | Taschenbuch | Englisch
Dekorationsartikel gehören nicht zum Leistungsumfang.
The Clausal Theory of Types
Taschenbuch von D. A. Wolfram
Sprache: Englisch

40,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
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.
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: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521117906
ISBN-10: 0521117909
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Wolfram, D. A.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Produktsicherheitsverantwortliche/r, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
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: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521117906
ISBN-10: 0521117909
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Wolfram, D. A.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Produktsicherheitsverantwortliche/r, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 244 x 170 x 8 mm
Von/Mit: D. A. Wolfram
Erscheinungsdatum: 14.04.2009
Gewicht: 0,249 kg
Artikel-ID: 101629830
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...