512347
9780521395380
Clausal Theory of Types
by Wolfram, D. A.
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
About this item
- Condition: Good
- Provider: Read A Book Contact
- Provider Rating: 81%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: IMP: Used Good- Used items do not include CD-ROM, ACCESS CODE or companion materials, regardless of what is stated in item title. We ship from multiple locations. Prompt customer service. M
Product details
- ISBN-13: 9780521395380
- ISBN: 0521395380
- Publisher: Cambridge University Press
AUTHOR
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' with ISBN 9780521395380 and ISBN 0521395380.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
