×

zbMATH — the first resource for mathematics

Found 20 Documents (Results 1–20)

100
MathJax
Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 51-63 (2002).
MSC:  68Q42 68T15 03F07
PDF BibTeX XML Cite
Full Text: Link