10% OFF

The Clausal Theory Of Types

by D. A. (University Of Oxford) Wolfram
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, April of 1993 ‧
86,52€
10% OFF CARD
free shipping
Sell ​​your book
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

The Clausal Theory Of Types

by D. A. (University Of Oxford) Wolfram

Property Description
ISBN: 9780521395380
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: April of 1993
Language: English
Cover: Hardcover
Pages: 134
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Computing > Schedule
Books in English > Computing > Introduction to Computing
EAN: 9780521395380