Order-sorted feature theory unification /

Bibliographic Details
Main Author:	Aït-Kaci, Hassan, 1954-
Other Authors:	Podelski, Andreas, Goldstein, Seth Copen
Format:	Book
Language:	English
Published:	Rueil Malmaison, France : Digital, Paris Research Laboratory, [1993]
Series:	Research report (Digital Equipment Corporation. Paris Research Laboratory) ; no. 32.
Subjects:	Sorting (Electronic computers) Data structures (Computer science) Logic programming. Logic, Symbolic and mathematical.

Remote Storage