Implémentation et évaluation d'un système logique parallèle. (Implementation and evaluation of a parallel logical system)

Jacques Chassin de Kergommeaux. Implémentation et évaluation d'un système logique parallèle. (Implementation and evaluation of a parallel logical system). PhD thesis, Joseph Fourier University, Grenoble, France, 1989. [doi]

Abstract

Abstract is missing.