Skip to Main content Skip to Navigation
Book sections

Bringing Theorem Proving to the (Sonic) Masses

Keywords : ejga-bc
Document type :
Book sections
Complete list of metadata
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Wednesday, February 7, 2018 - 10:18:01 AM
Last modification on : Wednesday, November 17, 2021 - 12:33:04 PM


  • HAL Id : hal-01702717, version 1


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⟩



Les métriques sont temporairement indisponibles