×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 337-341 (2002).
MSC:  68T15 68W30 03F07
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software