Séminaire HiPhiS (Histoire et Philosophie des Sciences) - nformatique et logique : preuves vs. preuves formelles
Catégorie
Conférence
Date
mardi 10 avril 2018 17:00 - 19:30
Lieu
AMPHI PEYTAVIN - POLYTECH (Rez-de-chaussée) Bâtiment 31
Propulsé par iCagenda