Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
Authors and Affiliations
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