A New Decision Procedure for Modal Logic K
A New Decision Procedure for Modal Logic K
Autor
ORCID
Data publikacji
Dyscyplina PBN
filozofia
Tytuł monografii
Proceedings of the 2009 International Conference on Computational and Mathematical Methods in Science and Engineering
Nazwa edycji konferencji
2009 International Conference on Computational and Mathematical Methods in Science and Engineering
Strony od-do
537-548
Wydawca ministerialny
Computational and Mathematical Methods in Science and Engineering
ISBN
978-84-612-9727-6
Licencja otwartego dostępu
Dostęp zamknięty