Bringing Theorem Proving to the (Sonic) Masses

Emilio Jesús Gallego Arias; Pierre Jouvelot; Benoît Pin

Chapitre d'ouvrage

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

Domaine :

Informatique [cs]

Informatique [cs] / Informatique musicale

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 : jeudi 24 septembre 2020 - 16:36:02

Bringing Theorem Proving to the (Sonic) Masses

Identifiants

Collections

Citation

Exporter

Métriques

77

Bringing Theorem Proving to the (Sonic) Masses

Identifiants

Collections

Citation

Exporter

Partager

Métriques

77