Chapitre D'ouvrage
Année : 2017
Connectez-vous pour contacter le contributeur
https://minesparis-psl.hal.science/hal-01702717
Soumis le : mercredi 7 février 2018-10:18:01
Dernière modification le : vendredi 9 janvier 2026-09:50:02
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⟩
99
Consultations
0
Téléchargements
