Knowledge Tree

researcher / Konstantin Verchinine

Konstantin Verchinine

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Méthodes de formalisation des connaissances et des raisonnements mathématiques : aspects appliqués et théoriques