Knowledge Tree

researcher / Maria Blanca Ibáñez

Maria Blanca Ibáñez

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Inférence parallèle et processus communicants pour les clauses de Horn : extension au premier ordre par la méthode de connexion