Mechanising partiality without re-implementation

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_9 ◽

1997 ◽

pp. 123-134 ◽

Cited By ~ 2

Author(s):

Manfred Kerber ◽

Michael Kohlhase

Download Full-text