Communication Dans Un Congrès
Année :
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517287
Soumis le : mardi 14 septembre 2010-09:18:13
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517287 , version 1
Citer
Philippe Dhaussy, Jean-Charles Roger. Un assistant de preuve basé sur la technique des observateurs. AFADL'06, 2006, Paris, France. ⟨hal-00517287⟩
Collections
43
Consultations
0
Téléchargements