%0 Thesis %1 phd/hal/Ibanez90 %A Ibáñez-Espiga, María-Blanca %D 1990 %K dblp %T 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).

@phdthesis{phd/hal/Ibanez90, added-at = {2020-07-21T00:00:00.000+0200}, author = {Ibáñez-Espiga, María-Blanca}, biburl = {https://www.bibsonomy.org/bibtex/2a1b159533dec0a60e21bfb1426a412c7/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00338381}, interhash = {daf1a13b50216ded5fd83f440acb318d}, intrahash = {a1b159533dec0a60e21bfb1426a412c7}, keywords = {dblp}, school = {Grenoble Institute of Technology, France}, timestamp = {2020-07-24T00:49:20.000+0200}, title = {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).}, year = 1990 }