Computing Publications

Publications Home » Automated Theory Formation in Pur...

Automated Theory Formation in Pure Mathematics

Simon Colton

Book
2002
Springer-Verlag
ISBN 1852336099
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.