Paperback Book
Show unavailable items

Releases by Didier Galmiche

April 29, 1997 – August 21, 2013

Cover for Didier Galmiche · Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2013)

Automated Reasoning with Analyti... (2013)

Didier Galmiche

Cover for Didier Galmiche · Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 97, Pont-a-mousson, France, May 13 - 16, 1997 Proceedings - Lecture Notes in Computer Science (Paperback Book) (1997)

Automated Reasoning with Analyti... (1997)

Didier Galmiche