E-LIB Suche - Ergebnisse für: Rybakov, Vladimir Alexandrovich

1

External Ventricular Drainage Complication Risks and Accura..:

Konovalov, Anton Nikolaevich ; Grebenev, Fiodor Viacheslavovich ; Rybakov, Vladimir Alexandrovich...
World Neurosurgery. 156 (2021) - p. e276-e282 , 2021

Link: https://doi.org/10.1016/..

2

Admissibility of logical inference rules

Studies in logic and the foundations of mathematics ; v. 136

Rybakov, Vladimir Vladimir , 1997

Link: https://www.sciencedirec..

3

Multi-agent Modal Logic Evaluating Implicit Information:

, In: Agents and Multi-agent Systems: Technologies and Applications 2023; Smart Innovation, Systems and Technologies,

Rybakov, Vladimir V. - p. 79-86 , 2023

Link: https://doi.org/10.1007/..

4

Algorithms for recognizing formulas with none-stable truth ..:

Rybakov, Vladimir V.
Procedia Computer Science. 225 (2023) - p. 574-580 , 2023

Link: https://doi.org/10.1016/..

5

Temporal Logic in Multi-agent Environment:

, In: Agents and Multi-Agent Systems: Technologies and Applications 2022; Smart Innovation, Systems and Technologies,

Rybakov, Vladimir V. - p. 3-12 , 2022

Link: https://doi.org/10.1007/..

6

Representation of Information and Satisfiability, Algorithm..:

Rybakov, Vladimir V.
Procedia Computer Science. 176 (2020) - p. 70-77 , 2020

Link: https://doi.org/10.1016/..

7

Chance Discovery and Analysis of Data via Multi-Agent Logic:

Rybakov, Vladimir V.
Procedia Computer Science. 159 (2019) - p. 884-891 , 2019

Link: https://doi.org/10.1016/..

8

Sport training individualization

state, problems and advanced solutions Nomos eLibrary, Sozial- und Wirtschaftswissenschaften;Nomos eLibrary, Soziologie;edition sigma

Isaev, Alexander P. ; Erlikh, Vadim V. ; Rybakov, Vladimir V. - 1. edition . , 2017

Link: https://doi.org/10.5771/..

9

Non-transitive linear temporal logic and logical knowledge ..:

Rybakov, Vladimir V.
Journal of Logic and Computation. 26 (2015) 3 - p. 945-958 , 2015

Link: https://doi.org/10.1093/..

10

Best Unifiers in Transitive Modal Logics:

Rybakov, Vladimir V.
Studia Logica: An International Journal for Symbolic Logic. 99 (2011) 1/3 - p. 321-336 , 2011

Link: https://www.jstor.org/st..

11

Best Unifiers in Transitive Modal Logics:

Rybakov, Vladimir V.
Studia Logica. 99 (2011) 1-3 - p. 321-336 , 2011

Link: https://doi.org/10.1007/..

12

Construction of an Explicit Basis for Rules Admissible in M..:

Rybakov, Vladimir V.
MLQ. 47 (2001) 4 - p. 441-446 , 2001

Link: https://doi.org/10.1002/..

13

On Finite Model Property for Admissible Rules:

Rybakov, Vladimir V. ; Kiyatkin, Vladimir R. ; Oner, Tahsin
Mathematical Logic Quarterly. 45 (1999) 4 - p. 505-520 , 1999

Link: https://doi.org/10.1002/..

14

Preface and acknowledgments:

, In: Admissibility of Logical Inference Rules; Studies in Logic and the Foundations of Mathematics,

Rybakov, Vladimir V. - p. 3-7 , 1997

Link: https://doi.org/10.1016/..

15

Criteria for admissibility of inference rules. Modal and in..:

Rybakov, Vladimir V.
Studia Logica. 53 (1994) 2 - p. 203-225 , 1994

Link: https://doi.org/10.1007/..