Overview
- Demonstrates how theory formation
Part of the book series: Distinguished Dissertations (DISTDISS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (15 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Automated Theory Formation in Pure Mathematics
Authors: Simon Colton
Series Title: Distinguished Dissertations
DOI: https://doi.org/10.1007/978-1-4471-0147-5
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 2002
Hardcover ISBN: 978-1-85233-609-7Published: 09 August 2002
Softcover ISBN: 978-1-4471-1113-9Published: 27 September 2012
eBook ISBN: 978-1-4471-0147-5Published: 06 December 2012
Edition Number: 1
Number of Pages: XVI, 380
Topics: Mathematics, general, Artificial Intelligence, Math Applications in Computer Science