Automated Reasoning With Analytic Tableaux: METEROR: Exploring Model Elimination Theorem Proving

Authors
O.Astrachan
Citation
O.astrachan, Automated Reasoning With Analytic Tableaux: METEROR: Exploring Model Elimination Theorem Proving, Journal of automated reasoning , 13(3), 1994, pp. 283-296
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
3
Year of publication
1994
Part
2
Pages
283 - 296
Database
ACNP
SICI code