Simon Colton

Identifiers

Open LibraryOL3154554A

Top Subjects

Artificial intelligence (2)
Mathematics (1)
Data processing (1)
Methodology (1)
Expert systems (Computer science) (1)
Automatic theorem proving (1)
Advanced (1)

Books by Simon Colton

Total count: 4

Automated Theory Formation in Pure Mathematics

Island Press2002-01-01
Automated Theory Formation in Pure Mathematics1 edition

Springer2002-09-17
Creative Intelligent SystemsPapers from the AAAI Spring Symposium

AAAI Press2008-01-01
Digital Synaptic Neural SubstrateA New Approach to Computational Creativity

Springer London, Limited2016-01-01