Handbook of tableau methods /

Bibliographic Details

Other Authors:	D'Agostino, Marcello
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : Kluwer, [1999]
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical.