D. A. Wolfram

The Clausal Theory of Types

• Gebundenes Buch

Produktbeschreibung

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

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 134
• Erscheinungstermin: 1. September 2010
• Englisch
• Abmessung: 260mm x 183mm x 12mm
• Gewicht: 462g
• ISBN-13: 9780521395380
• ISBN-10: 0521395380
• Artikelnr.: 26958617

Inhaltsangabe

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.