Automated reasoning with analytic tableaux and related methods：International Conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997 : proceedings

Corporate Authors: TABLEAUX '97 (1997 Pont-a-Mousson)
Group Author: Galmiche Didier, 1958-
Published: Springer,
Publication Dates: c1997.
Call Number: TP18-532/A939.1/1997/