"Parallel forward chaining technique with dynamic scheduling, for ..."

Kifah R. Tout, David J. Evans (1992)

Details and statistics

DOI: 10.1016/0167-8191(92)90037-8

access: closed

type: Journal Article

metadata version: 2020-02-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics