Communication Dans Un Congrès
Année : 2020
chu-min Li : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04322045
Soumis le : lundi 4 décembre 2023-17:27:55
Dernière modification le : mardi 30 juillet 2024-12:40:03
Dates et versions
Identifiants
- HAL Id : hal-04322045 , version 1
- DOI : 10.1109/ISMVL49045.2020.00007
Citer
Chu Min Li, Felip Manya, Amanda Vidal. Tableaux for Maximum Satisfiability in Łukasiewicz Logic. 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩. ⟨hal-04322045⟩
Collections
11
Consultations
0
Téléchargements