Flexible proof-replay with heuristics

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0023906 ◽

1997 ◽

pp. 1-12 ◽

Cited By ~ 2

Author(s):

Marc Fuchs

Download Full-text