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 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

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

Les métriques sont temporairement indisponibles