Author

Olga Caprotti

1 book found

Cover of Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge · First published 2006