RePMLK : A Relational Prover for Modal Logic K
RePMLK : A Relational Prover for Modal Logic K
Autor
ORCID
Data publikacji
Dyscyplina PBN
filozofia
Tytuł monografii
Proceedings of the 2009 International Conference Computational and Mathematical Methods in Science and Engineering, Vol. III
Nazwa edycji konferencji
The 9th International Conference on Computational and Mathematical Methods in Science and Engineering
Strony od-do
743-754
Wydawca ministerialny
Computational and Mathematical Methods in Science and Engineering
ISBN
978-84-612-9727-6
Licencja otwartego dostępu
Dostęp zamknięty