Automated Theory Formation in Pure Mathematics
Edition: 1 edition
Publisher: Springer
Published: September 17, 2002
Language: eng
Format: Hardcover
Number of pages: 380
ISBN-13: 9781852336097
Subjects: Data processing; Methodology; Computer Science; Control Theory; Mathematics; Computer Books: General; Logic; Artificial Intelligence - General; Computers / Artificial Intelligence; Computers-Artificial Intelligence - General; Computers-Computer Science; Expert systems (Computer science); Mathematics / Logic; Advanced; Artificial intelligence; Automatic theorem proving