Thirty Five Years of Automating Mathematics

Research output: Book/ReportAnthology

Original languageEnglish
PublisherKluwer Academic Publishers
Number of pages1
Volume28
ISBN (Print)1402016565
Publication statusPublished - 2003

Cite this