Inférence parallèle et processus communicants pour les clauses de Horn : extension au premier ordre par la méthode de connexion. (Parallel inference and communicating processes for the Horn clauses) - researchr publication

researchr

You are not signed in
Sign in
Sign up

María Blanca Ibáñez. Inférence parallèle et processus communicants pour les clauses de Horn : extension au premier ordre par la méthode de connexion. (Parallel inference and communicating processes for the Horn clauses). PhD thesis, Grenoble Institute of Technology, France, 1990. [doi]

Abstract is missing.

runs on WebDSL