The Rue Theorem-Proving System: The Complete Ste of LIM+Challenge Problems

Authors
V.J.Digricoli
Citation
V.j.digricoli, The Rue Theorem-Proving System: The Complete Ste of LIM+Challenge Problems, Journal of automated reasoning , 12(2), 1994, pp. 240-264
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
2
Year of publication
1994
Pages
240 - 264
Database
ACNP
SICI code