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