Lukasiewicz Logic: From Proof Systems To Logic Programming
Résumé
no abstract
Article Dans Une Revue
Logic Jnl IGPL
Année : 2005
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479578
Soumis le : mardi 28 février 2017-20:39:37
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479578 , version 1
Citer
Metcalfe G., Nicola Olivetti, Gabbay D.. Lukasiewicz Logic: From Proof Systems To Logic Programming. Logic Jnl IGPL, 2005, 13 (5), pp.561--585. ⟨hal-01479578⟩
30
Consultations
0
Téléchargements