2380 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 (2010-09-23), Nicolas Peltier (Dir.) [tel-00523658 - version 1]