×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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, 305-318 (2002).
MSC:  68T15 68W30
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software