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
Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées
https://hal-mines-paristech.archives-ouvertes.fr/hal-01702717
Contributeur : Claire Medrala <>
Soumis le : mercredi 7 février 2018 - 10:18:01
Dernière modification le : lundi 12 novembre 2018 - 10:59:20

Identifiants

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

61

Contact

CCSD