Automated Reasoning With Analytic Tableaux: Tableau-based Theorem Provers: Systems and Implementations

Authors
j.Schumann
Citation
J.schumann, Automated Reasoning With Analytic Tableaux: Tableau-based Theorem Provers: Systems and Implementations, Journal of automated reasoning , 13(3), 1994, pp. 409-422
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
3
Year of publication
1994
Part
2
Pages
409 - 422
Database
ACNP
SICI code