|
Volumn 1, Issue 3-4, 1970, Pages 301-319
|
Mechanized Algebraic Operations (MAO)
a |
Author keywords
[No Author keywords available]
|
Indexed keywords
|
EID: 0006762738
PISSN: 00088714
EISSN: 15729478
Source Type: Journal
DOI: 10.1007/BF01231135 Document Type: Article |
Times cited : (37)
|
References (13)
|