Skip to main content
PBS logo
 
 

Search - The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)

The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)
The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science
Author: D. A. Wolfram
This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complet...  more »
ISBN-13: 9780521395380
ISBN-10: 0521395380
Publication Date: 6/25/1993
Pages: 132
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Other Versions: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.