Knowledge Tree

researcher / Nicolas Zabel

Nicolas Zabel

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Nouvelles techniques de déduction automatiques en logiques polyvalentes finies et infinies du premier ordre