HUDU

The Clausal Theory of Types


€ 39,49
 
kartoniert
Lieferbar innert 2 Wochen
April 2009

Beschreibung

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.
EAN: 9780521117906
ISBN: 0521117909
Untertitel: 'Cambridge Tracts in Theoretica'. Sprache: Englisch.
Verlag: CAMBRIDGE UNIV PR
Erscheinungsdatum: April 2009
Seitenanzahl: 136 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben