×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

100
MathJax
Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 240-257 (2013).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Ashley, Kevin D. (ed.) et al., Case-based reasoning research and development. 5th international conference on case-based reasoning, ICCBR 2003, Trondheim, Norway, June 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40433-3/pbk). Lect. Notes Comput. Sci. 2689, 703-717 (2003).
MSC:  68U99 68T35
PDF BibTeX XML Cite
Full Text: Link