Login
|
New Account
ITA
ENG
Automating the Search for Elegant Proofs
Authors
L.Wos
Citation
L.wos, Automating the Search for Elegant Proofs, Journal of automated reasoning , 21(2), 1998, pp. 135-175
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
21
Issue
2
Year of publication
1998
Pages
135 - 175
Database
ACNP
SICI code