Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Books - Birkhauser Boston Inc - 9780817640323 - December 18, 1997
In case cover and title do not match, the title is correct

Christian Prehofer
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition

Price
$ 107.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 12 - 22, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

This monograph develops techniques for equational reasoning and declarative programming based on higher-order logic. The author presents a framework for the full integration of declarative programming models and shows its application.

188 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 18, 1997
ISBN13 9780817640323
Publishers Birkhauser Boston Inc
Pages 188
Dimensions 156 × 234 × 12 mm   ·   494 g
Language English  

See all of Christian Prehofer ( e.g. Hardcover Book and Paperback Book )