"Parallelization in Inference Systems, International Workshop, Dagstuhl ..."

Bertram Fronhöfer, Graham Wrightson (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics