E-Book, Englisch, 380 Seiten
Reihe: Distinguished Dissertations
Colton Automated Theory Formation in Pure Mathematics
Erscheinungsjahr 2012
ISBN: 978-1-4471-0147-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 380 Seiten
Reihe: Distinguished Dissertations
ISBN: 978-1-4471-0147-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




