Knowledge Tree

researcher / GONZALO ESCALADA-IMAZ

GONZALO ESCALADA-IMAZ

at_id:

orcid_id:

Disciplines:

Applied sciences

Edit Merge See Links

Thesis:

Optimisation d'algorithmes d'inference monotone en logique des propositions et du premier ordre