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

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 : Monday, May 3, 2021 - 8:44:04 AM

Identifiers

  • HAL Id : hal-01702717, version 1

Citation

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⟩

Share

Metrics

Record views

89