Didier Galmiche

Didier Galmiche

2 books in the database

Books

Automated Reasoning with Analytic Tableaux and Related MethodsDidier Galmiche

Automated Reasoning with Analytic Tableaux and Related Methods

Didier Galmiche · 1997

Automated ReasoningDidier Galmiche

Automated Reasoning

Didier Galmiche · 2018