https://hal-mines-paristech.archives-ouvertes.fr/hal-01702717
Contributor : Claire Medrala <>
Submitted on : Wednesday, February 7, 2018 - 10:18:01 AM Last modification on : Thursday, September 24, 2020 - 4:36:02 PM
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⟩