Ouvrages
Année : 2016
Didier Galmiche : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01263202
Soumis le : mercredi 27 janvier 2016-15:08:20
Dernière modification le : jeudi 1 août 2024-17:08:02
Citer
Didier Galmiche, Stéphane Graham-Lengrand. Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation . Oxford University Press (OUP), 26 (2), 2016, ⟨10.1093/logcom/exu039⟩. ⟨hal-01263202⟩
Collections
167
Consultations
0
Téléchargements