Communication

Raisonnement automatise pour la logique de separation avec des definitions inductives

Journées internationales sur: Etude et realisation de structures bipolaires particulieres a heterojonction gaas-gaaias

13-15 Janvier, 2015

Résumé

uis turpis sed ante vivamus tortor

Conférencier