Bringing Theorem Proving to the (Sonic) Masses

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

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⟩

Partager

Métriques

Consultations de la notice

61