The Clausal Theory of Types - Wolfram, D. A.
82,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
41 °P sammeln
  • Gebundenes 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.