Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science) |
 enlarge | Author: Christian Prehofer
Publisher: Birkhaeuser Boston
Category: EBooks
List Price: $107.00
Buy New: $85.60
You Save: $21.40 (20%)
Sales Rank: 68092
Format: Kindle Book
Media: Kindle Edition
Edition: 1
Pages: 204
Number Of Items: 1
Shipping Weight (lbs): 1
Dimensions (in): 9.2 x 6.1 x 0.5
Dewey Decimal Number: 005.131
Publication Date: December 18, 1997
Availability: Usually ships in 24 hours
|
|
|
Editorial Reviews:
Product Description
Author presents a novel framework for the full integration of declarative programming models and shows its application. Develops techniques for equational reasoning and declarative programming based on higher-order logic. DLC: Computer logic.
|
