Alexander V. Lyaletski

发表

Konstantin Verchinine, Alexander V. Lyaletski, Andrei Paskevich, 2007, CADE.
Alexander V. Lyaletski, Anatoli Degtyarev, Marina K. Morokhovets, 1999, LPAR.
Alexander V. Lyaletski, 2015, Comput. Sci. J. Moldova.
Alexander V. Lyaletski, 2001, Intelligent Information Systems.
Konstantin Verchinine, Alexander V. Lyaletski, Andrei Paskevich, 2002, Intelligent Information Systems.
Boris Konev, Alexander V. Lyaletski, 2006, Intelligent Information Systems.
Alexander V. Lyaletski, 2008, 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Konstantin Verchinine, Alexander V. Lyaletski, K. Verchinine, 2010, AISC'10/MKM'10/Calculemus'10.
Alexander V. Lyaletski, 2004, Intelligent Information Systems.
Konstantin Verchinine, Alexander V. Lyaletski, Andrei Paskevich, 2006, J. Appl. Log..
Alexander V. Lyaletski, Andrei Paskevich, Alexandre Lyaletsky, 2018 .
Alexander V. Lyaletski, 2004 .
Alexander V. Lyaletski, 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Alexander V. Lyaletski, Anatoli Degtiarev, Konstantine Verchinine, 2002 .
Konstantin Verchinine, Alexander V. Lyaletski, Alexandre Lyaletsky, 2017, ICTERI.
Alexander V. Lyaletski, M. K. Morokhovets, A. A. Letichevsky, 2013, Cybernetics and Systems Analysis.
Alexander V. Lyaletski, 2005, Annals of Mathematics and Artificial Intelligence.
Konstantin Verchinine, Alexander V. Lyaletski, Andrei Paskevich, 2004, ISTA.
Alexander V. Lyaletski, M. K. Morokhovets, Andrey Paskevich, 2002 .
Alexander V. Lyaletski, Anatoly V. Anisimov, 2006, 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Boris Konev, Alexander V. Lyaletski, 2006, JELIA.
Alexander V. Lyaletski, Marina Morokovets, 1999, Calculemus.
Alexander V. Lyaletski, 2016, J. Formaliz. Reason..
Alexander V. Lyaletski, 2015, Journal of Automated Reasoning.
Alexander V. Lyaletski, Andrei Paskevich, Alexandre Lyaletsky, 2016, ICTERI.
Konstantin Verchinine, Alexander V. Lyaletski, Andrei Paskevich, 2008, AISC/MKM/Calculemus.
Konstantin Verchinine, Alexander V. Lyaletski, Andrei Paskevich, 2004, MKM.
Alexander V. Lyaletski, Alexander A. Letichevsky, Oleksandr Kalinovskyy, 2005, Intelligent Information Systems.
Alexander V. Lyaletski, Anatoli Degtyarev, M. K. Morokhovets, 2001 .
Alexander V. Lyaletski, A. Letichevsky, M. Morokhovets, 2013, Cybernetics and Systems Analysis.
Alexander V. Lyaletski, 2021, Cybernetics and Systems Analysis.
Alexander V. Lyaletski, A. Lyaletsky, 2020, IT&I.
Alexander V. Lyaletski, 2015, Journal of Automated Reasoning.
Konstantin Verchinine, Alexander V. Lyaletski, Andrei Paskevich, 2007 .
Alexander V. Lyaletski, A. Lyaletski, A. Paskevich, 2006, 2006 3rd International IEEE Conference Intelligent Systems.
Alexander V. Lyaletski, A. V. Lyaletski, 2003 .
Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, 2022 .