Talk

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 January, 2015

Abstract

uis turpis sed ante vivamus tortor

Speaker