Automated Reasoning With Analytic Tableaux: Model Elimination Without Contrapositives and Its Application to PTTP

Authors
P.Baumgartner,U.Furbach
Citation
P.baumgartner,u.furbach, Automated Reasoning With Analytic Tableaux: Model Elimination Without Contrapositives and Its Application to PTTP, Journal of automated reasoning , 13(3), 1994, pp. 339-360
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
3
Year of publication
1994
Part
2
Pages
339 - 360
Database
ACNP
SICI code