Handbook of tableau methods
By: edited by Marcello D'Agostino ... [et al.].
Contributors: D'Agostino, Marcello.
Publisher: Kluwer
Published: 1999
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 670
Subjects: Automatic theorem proving; Logic, Symbolic and mathematical
Notes: Includes bibliographical references and index.