Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997 : proceedings - TABLEAUX '97 (1997 : Pon-a-Mousson, France); Galmiche, Didier (Berlin : Springer, 1997)
Keywords: Automatic theorem proving -- Congresses; Nonclassical mathematical logic -- Congresses; Logic, Symbolic and mathematical -- Congresses