Chapitre D'ouvrage
Année : 1996
Alessandra Carbone : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03911517
Soumis le : jeudi 22 décembre 2022-23:12:11
Dernière modification le : lundi 15 avril 2024-15:16:20
Citer
Alessandra Carbone. The Craig Interpolation Theorem for Schematic Systems. Collegium Logicum, 2, Springer Vienna, pp.87-100, 1996, Collegium Logicum, ⟨10.1007/978-3-7091-9461-4_6⟩. ⟨hal-03911517⟩
Collections
14
Consultations
0
Téléchargements