Work

Summary Learning Expert Knowledge and Theorem Proving

Year: 1986
Type: article
Language: English
Open Access status: closed
OpenAlex ID: W2312017540
FWCI:
Cites: 15
Cited by:
Related to: 10