Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Proc./Joint Intern. Conf., AISC 2002 and Calculemus 2002, Marseille, France, July 2002

В2.1, Б4.2.

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Proc./Joint Intern. Conf., AISC 2002 and Calculemus 2002, Marseille, France, July 2002Ed. by Calmet J., Benhamou B., Caprotti O., Henocque L..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2385.-343 p.-(Lecture Notes in Artificial Intelligence).