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