CAMAL 40 Years on - Is Small Still Beautiful?

J Fitch

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009. Proceedings
EditorsJ Carette, L Dixon, C S Coen, S M Watt
Place of PublicationBerlin
PublisherSpringer
Pages32-44
Number of pages13
Volume5625
ISBN (Print)0302-9743
DOIs
Publication statusPublished - 2009
Event16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management - Granda Bend, Canada
Duration: 1 Jan 2009 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

Conference16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management
CountryCanada
CityGranda Bend
Period1/01/09 → …

Cite this

Fitch, J. (2009). CAMAL 40 Years on - Is Small Still Beautiful? In J. Carette, L. Dixon, C. S. Coen, & S. M. Watt (Eds.), Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009. Proceedings (Vol. 5625, pp. 32-44). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-02614-0