Skip to content
Login
Help
العربية
Print
New Search
(More Searches)
Advanced Keyword
Title
Author
Subject
Call Number
ISBN
Author and Title
Instructor
Course
Dept.
My Library
My Library
My Account
About the library
Suggest a purchase
Comments
Help Topics
Searching
Advanced Keyword Search Tips
Saving your searches
Renewals
Fee Payment
Your session will expire automatically in
0
seconds.
Continue session
End session now
Request
Add to My Lists
Add to Bag
MARC Display
Return to Browse
SearchType
Keyword
Author
Title
Subject
Call no.
Search
Limit search to available items
Previous Record
Next Record
Resources
More Information
Author
Colton, Simon
Title
Automated theory formation in pure mathematics / Simon Colton.
Imprint
London : Springer-Verlag , 2002
Copies
Location
Call No.
Status
Female Library
QA8.4 C64 2002
Available
Description
xvi, 380 p.; 24 cm.
Series
CPHC/BCS Distinguished dissertations
Bibliography
Includes bibliographical references and index.
Subject
Artificial intelligence
Automatic theorem proving
Expert systems (Computer science)
Mathematics -- Methodology -- Data processing
ISBN
1852336099
Permanent Link
