Rozdział w tomie pokonferencyjnym
Ładowanie...
Miniatura
Pliki
Golińska-pilarek_A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics.pdf 265.85 KB
Licencja
ClosedAccessDostęp zamknięty
Statystyki

A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics

DOI
10.1007/978-3-319-07617-1_41
Autor
Cantone Domenico
Nicolosi-Asmundo Marianna
ORCID
0000-0001-8546-2615
Data publikacji
2014
Dyscyplina PBN
filozofia
Tytuł monografii
Hybrid Artificial Intelligence Systems. HAIS 2014
Nazwa edycji konferencji
9 th International Conference on Hybrid Artificial Intelligent Systems
Strony od-do
466–477
Wydawca ministerialny
Springer
ISBN
9783319076164
9783319076171
Link do źródła
https://link.springer.com/chapter/10.1007/978-3-319-07617-1_41#preview
Licencja otwartego dostępu
Dostęp zamknięty