30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Clausal Theory of Types

Author: 


ISBN-13: 

9780521395380


ISBN: 

0521395380


Publisher:  Cambridge University Press
Summary: Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types, and derives a form of logic programming that incorporates functional programming. The book can be used for graduate courses in theorem-proving, but will... be of interest to all working in declarative programming.

Wolfram, D. A. is the author of Clausal Theory of Types, published under ISBN 9780521395380 and 0521395380. Four hundred thirty six Clausal Theory of Types textbooks are available for sale on ValoreBooks.com, one hundred thirty seven used from the cheapest price of $18.20, or buy new starting at $48.50.
 [read more]

Marketplace Prices
299 New from $48.50 137 Used from $18.20
  • Used $18.20
  • New $48.50
Price + Shipping
Condition
Details
Recommended
Product Details
Clausal Theory of Types

ISBN-13: 9780521395380


ISBN: 0521395380


Publisher: Cambridge University Press
Valore Books is the top book store for cheap Clausal Theory of Types rentals, or used and new condition books available to purchase and have shipped quickly.
Where's My Stuff?
Shipping & Returns