"Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002" - читать интересную книгу автора (Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge)