Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Books - Springer-Verlag New York Inc. - 9781461272786 - October 21, 2012
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 Softcover Reprint of the Original 1st Ed. 1998 edition

Price
A$ 162.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:

188 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 21, 2012
ISBN13 9781461272786
Publishers Springer-Verlag New York Inc.
Pages 188
Dimensions 155 × 235 × 11 mm   ·   290 g
Language English  

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