Galmiche, Didier, (1958-)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Automated reasoning with analytic tableaux and related methodsInternational Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 : proceedings /
by:
(1998 :); Galmiche, Didier, (1958-); SpringerLink (Online service)
(Electronic resources)