Automated Theory Formation in Pure Mathematics
Publisher: Springer
Published: Sep 27, 2012
Format: paperback
Number of pages: 400
ISBN-13: 9781447111139
Notes: Source title: Automated Theory Formation in Pure Mathematics (Distinguished Dissertations)