Name: The Clausal Theory of Types
Price: 43.00 EUR
Availability: InStock
Author: D. A. (University of Oxford) Wolfram
ISBN: 9780521117906

The Clausal Theory of Types von D. A. (University of Oxford) Wolfram

Sie sparen 5% des UVP sparen 5%

Über 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.

Sprache:
Englisch

ISBN:
9780521117906

Verlag:
Cambridge University Press

Einband:
Taschenbuch

Seitenzahl:
136

Veröffentlicht:
30. Juli 2009

Abmessungen:
170x244x7 mm.

Gewicht:
230 g.

43,00 € inkl. MwSt.
~~45,10 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über D. A. (University of Oxford) Wolfram

Alle Bücher von D. A. (University of Oxford) Wolfram anzeigen

Beschreibung von 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.

Kund*innenbewertungen von The Clausal Theory of Types

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch The Clausal Theory of Types ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

The Clausal Theory of Types

Über D. A. (University of Oxford) Wolfram

Beschreibung von The Clausal Theory of Types

Kund*innenbewertungen von The Clausal Theory of Types

Willkommen bei den Tales Buchfreunden und -freundinnen