Research

CAMAL 40 Years on - Is Small Still Beautiful?


Reference:

Fitch, J., 2009. CAMAL 40 Years on - Is Small Still Beautiful? In: Carette, J., Dixon, L., Coen, C. S. and Watt, S. M., eds. 16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management, 2009-01-01, Granda Bend. Berlin: Springer, pp. 32-44. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below. (Contact Author)

Details

Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsFitch, J.
EditorsCarette, J., Dixon, L., Coen, C. S. and Watt, S. M.
DOI10.1007/978-3-642-02614-0
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code16374

Export

Actions (login required)

View Item