Chapitre D'ouvrage
Année : 2017
Claire Medrala : Connectez-vous pour contacter le contributeur
https://hal-mines-paristech.archives-ouvertes.fr/hal-01702717
Soumis le : mercredi 7 février 2018-10:18:01
Dernière modification le : samedi 22 octobre 2022-05:12:04
Dates et versions
Identifiants
- HAL Id : hal-01702717 , version 1
Citer
Emilio Jesús Gallego Arias, Pierre Jouvelot, Benoît Pin. Bringing Theorem Proving to the (Sonic) Masses. Laurent Pottier. Innovative Tools and Methods to Teach Music and Signal Processing, Presses des Mines, In press. ⟨hal-01702717⟩
40
Consultations
0
Téléchargements