Login / Signup

Using the Reform Inference System for Parallel Prolog.

Håkan Millroth
Published in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Keyphrases