D. A. (University of Oxford) Wolfram Forfatter
-
The Clausal Theory of Types (Bog, Hardback, Engelsk)
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
The Clausal Theory of Types (Bog, Paperback / softback, Engelsk)
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Levering: Print on Demand (forvent 14 - 30 hverdage)
