Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings - TABLEAUX '96 (1996 : Terrasini, Italy); Miglioli, P. (Berlin ; New York : Springer, 1996)
Includes bibliographical references and index.
Keywords: Automatic theorem proving -- Congresses; Nonclassical mathematical logic -- Congresses; Logic, Symbolic and mathematical -- Congresses