Vytisknout
0546435 - ÚI 2022 GB eng J - Článek v odborném periodiku
Boudou, J. - Diéguez, M. - Fernández-Duque, David - Kremer, P.
Exploring the Jungle of Intuitionistic Temporal Logics.
Theory and Practice of Logic Programming. Roč. 21, č. 4 (2021), s. 459-492. ISSN 1471-0684. E-ISSN 1475-3081
Klíčová slova: Knowledge Representation and Nonmonotonic Reasoning * Theory
Impakt faktor: 0.923, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0322941
Boudou, J. - Diéguez, M. - Fernández-Duque, David - Kremer, P.
Exploring the Jungle of Intuitionistic Temporal Logics.
Theory and Practice of Logic Programming. Roč. 21, č. 4 (2021), s. 459-492. ISSN 1471-0684. E-ISSN 1475-3081
Klíčová slova: Knowledge Representation and Nonmonotonic Reasoning * Theory
Impakt faktor: 0.923, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0322941