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

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

Christian Prehofer

Price
元 767
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 21

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:

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

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 )