Books by Didier Galmiche
Total count: 2
Automated Reasoning with Analytic Tableaux and Related MethodsInternational Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings (Lecture Notes in Computer Science)1 editionSpringer1997-05-29
Automated Reasoning9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ...Springer2018-07-01