Rule-aided constraint resolution in Laure

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013534 ◽

2005 ◽

pp. 237-256 ◽

Cited By ~ 1

Author(s):

Yves Caseau

Download Full-text