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

Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science Softcover Reprint of the Original 1st Ed. 1998 edition

Christian Prehofer

Price
元 762
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 11 - 23
Add to your iMusic wish list

Also available as:

Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science Softcover Reprint of the Original 1st Ed. 1998 edition

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