6 février 2015
Ce document est lié à :
info:eu-repo/semantics/reference/issn/2266-0720
info:eu-repo/semantics/openAccess
Florence THILL, « Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie » », STL-Actualités, ID : 10.58079/ukz9
Responsables : Liesbeth De Mol (STL,CNRS / Université Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Shahid Rahman (STL, Université Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne) Prochaine séance : mercredi 25 févier 2015 , 14h-17h Pierre Mounier-Kuhn (CNRS, Paris 1 et Centre Koyré) : « Logique et informatique: filiation ou rencontre ? » Amirouche Moktefi (Tallinn University of Technology) : « A Boolean legacy: the problem of elimination in the ...