The Clausal Theory of Types - Wolfram, D. A.
35,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
18 °P sammeln
  • Broschiertes Buch

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

Andere Kunden interessierten sich auch für
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.