مؤلف: Olga Caprotti

Belaid Benhamou & Jacques Calmet: Artificial Intelligence, Automated Reasoning, and Symbolic Computation