Bringing Theorem Proving to the (Sonic) Masses - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2017

Bringing Theorem Proving to the (Sonic) Masses

(1, 2) , (1, 2) , (1, 2)
1
2

Mots clés

Fichier non déposé

Dates et versions

hal-01702717 , version 1 (07-02-2018)

Identifiants

  • HAL Id : hal-01702717 , version 1

Citer

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⟩
39 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More