2409 articles – 24 Notices  [english version]
.:. Consultation > Liste par auteurs > Aravantinos .:.
1 document

fulltext access Schémas de formules et de preuves en logique propositionnelle
Aravantinos V.
Institut National Polytechnique de Grenoble - INPG (23/09/2010), Nicolas Peltier (Dir.) [tel-00523658 - version 1]