Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
Logic for Artificial Intelligence: An Algorithm for the Retrieval of Unifiers from Discrimination Trees
Authors:
H.De Nivelle
Citation:
H.de Nivelle, Logic for Artificial Intelligence: An Algorithm for the Retrieval of Unifiers from Discrimination Trees, Journal of automated reasoning , 20(1/2), 1998, pp. 5-25
Risultati:
1-1
|