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

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

Sie sparen 0% des UVP sparen 0%

Ü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:
9780521395380

Verlag:
Cambridge University Press

Einband:
Gebundene Ausgabe

Seitenzahl:
134

Veröffentlicht:
22. April 1993

Abmessungen:
177x254x11 mm.

Gewicht:
406 g.

95,00 € inkl. MwSt.
~~95,00 €~~ 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