Browse
FAQ

Author

Didier Galmiche

3 books found

Cover of Automated Reasoning

Automated Reasoning

Didier Galmiche, Stephan Schulz, Roberto Sebastiani · First published 2018

Cover of Paul Claudel et la Bohême

Paul Claudel et la Bohême

Didier Alexandre, Xavier Galmiche · First published 2015

Cover of Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Didier Galmiche · First published 1997