Improving the Efficency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures

Authors
S.J.Lee,C.H.Wu
Citation
S.j.lee,c.h.wu, Improving the Efficency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures, Journal of automated reasoning , 12(3), 1994, pp. 359-388
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
3
Year of publication
1994
Pages
359 - 388
Database
ACNP
SICI code