Login
|
New Account
ITA
ENG
leanTAP: Lean Tableau-based Deduction
Authors
B.Beckert,J.Posegga
Citation
B.beckert,j.posegga, leanTAP: Lean Tableau-based Deduction, Journal of automated reasoning , 15(3), 1995, pp. 339-358
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
15
Issue
3
Year of publication
1995
Pages
339 - 358
Database
ACNP
SICI code