Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
Flatterms, Discrimination Nets, and Fast Term Rewriting
Authors:
J.Christian
Citation:
J.christian, Flatterms, Discrimination Nets, and Fast Term Rewriting, Journal of automated reasoning , 10(1), 1993, pp. 95-114
Risultati:
1-1
|