Coudert, Olivier

1 publications

IJCAI 1991 A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver Jean Christophe Madre, Olivier Coudert