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
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
1/2
Year of publication
1998
Pages
5 - 25
Database
ACNP
SICI code