Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Institut für Informatik, SB3, München, Germany
Christian Prehofer
Bibliographic Information
Book Title: Solving Higher-Order Equations
Book Subtitle: From Logic to Programming
Authors: Christian Prehofer
Series Title: Progress in Theoretical Computer Science
DOI: https://doi.org/10.1007/978-1-4612-1778-7
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Birkhäuser Boston 1998
Hardcover ISBN: 978-0-8176-4032-3Published: 18 December 1997
Softcover ISBN: 978-1-4612-7278-6Published: 21 October 2012
eBook ISBN: 978-1-4612-1778-7Published: 06 December 2012
Edition Number: 1
Number of Pages: IX, 188
Topics: Math Applications in Computer Science, Applications of Mathematics, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Programming Techniques, Logic Design