Zobrazeno 1 - 10 of 65 pro vyhledávání: '"Rybakov, Vladimir V."'
1
Akademický článek
Algorithms for recognizing formulas with none-stable truth values in branching time logic
Autor: Rybakov, Vladimir V.
Publikováno v: In Procedia Computer Science 2023 225:574-580
Zobrazit plný text záznamu
2
Akademický článek
Temporal Multi-Agents’ Logics Modelling Dynamic Temporal Accessibility Relations
Autor: Rybakov, Vladimir V.
Publikováno v: In Procedia Computer Science 2022 207:475-482
Zobrazit plný text záznamu
3
Akademický článek
Quantitative Modalities, Possible Applications to Information Analysis
Autor: Rybakov, Vladimir V.
Publikováno v: In Procedia Computer Science 2021 192:251-258
Zobrazit plný text záznamu
4
Akademický článek
Multi-Agent Logic’s Modelling Non-Monotonic Information and Reasoning
Autor: Rybakov, Vladimir V.
Publikováno v: In Procedia Computer Science 2020 176:670-674
Zobrazit plný text záznamu
5
Akademický článek
Representation of Information and Satisfiability, Algorithms for Multi-Agent Logics
Autor: Rybakov, Vladimir V.
Publikováno v: In Procedia Computer Science 2020 176:70-77
Zobrazit plný text záznamu
6
Akademický článek
Chance Discovery and Analysis of Data via Multi-Agent Logics
Autor: Rybakov, Vladimir V.
Publikováno v: In Procedia Computer Science 2019 159:884-891
Zobrazit plný text záznamu
8
Akademický článek
Best Unifiers in Transitive Modal Logics
Autor: Rybakov, Vladimir V.
Publikováno v: Studia Logica: An International Journal for Symbolic Logic, 2011 Oct 01. 99(1/3), 321-336.
Externí odkaz: https://www.jstor.org/stable/41475206
Zobrazit plný text záznamu
9
Akademický článek
Rules of Inference with Parameters for Intuitionistic Logic
Autor: Rybakov, Vladimir V.
Publikováno v: The Journal of Symbolic Logic, 1992 Sep 01. 57(3), 912-923.
Externí odkaz: https://www.jstor.org/stable/2275439
Zobrazit plný text záznamu
10
Akademický článek
Before Orbis Pictus: Some Notes on Comenius' Latin Textbooks.
Autor: Guseva, Irina L.1 ilguseva@mephi.ru, Rybakov, Vladimir V.2 rybakov@instrao.ru
Publikováno v: Graeco-Latina Brunensia. 2017, Vol. 22 Issue 1, p69-79. 11p.
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje