Dual Tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
Dual Tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
Autor
Muñoz-Velasco Emilio
ORCID
Data publikacji
Dyscyplina PBN
filozofia
Tytuł monografii
Proceedings of the 2008 International Conference Computational and Mathematical Methods in Science and Engeneering
Nazwa edycji konferencji
2008 International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE)
Strony od-do
291-305
ISBN
978-84-612-1982-7
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty