Article Dans Une Revue
Journal of Logic and Computation
Année : 2010
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940603
Soumis le : dimanche 2 février 2014-10:23:56
Dernière modification le : mercredi 18 décembre 2024-09:46:25
Citer
Nicolas Peltier. Bottom-up Construction of Semantic Tableaux. Journal of Logic and Computation, 2010, 20 (1), http://logcom.oxfordjournals.org/content/20/1/283.short. ⟨10.1093/logcom/exn069⟩. ⟨hal-00940603⟩
65
Consultations
0
Téléchargements