Abstract
This book is a textbook introduction to applied formal reasoning. We show how to use a formal logic to define concepts and to state and prove theorems. Moreover, we show how to carry out these tasks in cooperation with a particular computed-aided reasoning system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Notes
Bob Boyer made substantial early contributions.
The solutions for Ruben Gamboa’s chapter are for his extension of ACL2 that supports the real numbers.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Kaufmann, M., Manolios, P., Moore, J.S. (2000). Introduction. In: Computer-Aided Reasoning. Advances in Formal Methods, vol 3. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4449-4_1
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4449-4_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7003-1
Online ISBN: 978-1-4615-4449-4
eBook Packages: Springer Book Archive