The Clausal Theory of Types
PAYBACK Punkte
35 °P sammeln!
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 für
