Login
|
New Account
ITA
ENG
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