Item

An Algorithm for the Retrieval of Unifiers from Discrimination Trees

de Nivelle,J.M.G.G.
Abstract
Description
Pagination: 16
Date
1996
Journal Title
Journal ISSN
Volume Title
Publisher
Springer Verlag
Collections
Tilburg University Research Output Collection
Show all metadata
Research Projects
Organizational Units
Journal Issue
Keywords
Citation
de Nivelle, J M G G 1996, An Algorithm for the Retrieval of Unifiers from Discrimination Trees. in Logics in Artificial Intelligence; Proceedings. Springer Verlag, Berlin, pp. 18-33.
URI
https://hdl.handle.net/20.500.14602/3130
License
info:eu-repo/semantics/restrictedAccess
Embedded videos