10% OFF

The Clausal Theory Of Types

by D. A. (University Of Oxford) Wolfram
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, July of 2009 ‧
39,20€
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: 9780521117906
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: July of 2009
Language: English
Cover: Softcover
Pages: 136
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Computing > Other Applications
Books in English > Computing > Introduction to Computing
Books in English > Others
EAN: 9780521117906