Login
|
New Account
ITA
ENG
Searching for Circles of Pure Proofs
Authors
L.Wos
Citation
L.wos, Searching for Circles of Pure Proofs, Journal of automated reasoning , 15(3), 1995, pp. 279-315
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
15
Issue
3
Year of publication
1995
Pages
279 - 315
Database
ACNP
SICI code