Solving Higher-Order Equations
Subtitle: From Logic To Programming
Publisher: Springer
Published: Oct 21, 2012
Format: paperback
Number of pages: 204
ISBN-13: 9781461272786
Notes: Source title: Solving Higher-Order Equations: From Logic To Programming (Progress in Theoretical Computer Science)