zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Kohlhase, Michael (ed.), Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31430-X/pbk). Lecture Notes in Computer Science 3863. Lecture Notes in Artificial Intelligence, 126-142 (2006).
MSC:  68T15 68P05 68T30
BibTeX Cite
Full Text: DOI
Voronkov, Andrei (ed.), Automated deduction - CADE-18. 18th international conference, Copenhagen, Denmark, July 27–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43931-5). Lect. Notes Comput. Sci. 2392, 144-149 (2002).
MSC:  68T15
BibTeX Cite
Full Text: Link

Filter Results by …

Year of Publication