Skip to Main content Skip to Navigation
Book sections

Bringing Theorem Proving to the (Sonic) Masses

Emilio Jesús Gallego Arias 1, 2 Pierre Jouvelot 1, 2 Benoît Pin 1, 2
1 CRI - Centre de Recherche en Informatique
2 MINES ParisTech - École nationale supérieure des mines de Paris
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

Collections

ENSMP | INSTITUT-TELECOM | ENSMP_CRI | PARISTECH | PSL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

93