Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)

Distinguished

by Simon Colton

Hardcover

ISBN: 978-1-85233-609-7

ISBN-10: 1-85233-609-9

Springer · 2002