Anatoli Degtyarev

发表

Vladimir Aleksic, Anatoli Degtyarev, A. Degtyarev, 2006, JELIA.
Valentin M. Antimirov, Anatoli Degtyarev, 1992, LPAR.
Alexander V. Lyaletski, Anatoli Degtyarev, Marina K. Morokhovets, 1999, LPAR.
Valentin M. Antimirov, Anatoli Degtyarev, 1992, CTRS.
Clare Dixon, Michael Fisher, Boris Konev, 2005, Inf. Comput..
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 1995, IJCAI.
Andrei Voronkov, Robert Nieuwenhuis, Anatoli Degtyarev, 2000, J. Symb. Comput..
Andrei Voronkov, Yuri Gurevich, Anatoli Degtyarev, 1996, Bull. EATCS.
Konstantin Verchinine, Alexander V. Lyaletski, Andrei Paskevich, 2002, Intelligent Information Systems.
Michael Fisher, Boris Konev, Anatoli Degtyarev, 2003, TOCL.
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 1996, ELP.
Michael Fisher, Boris Konev, Anatoli Degtyarev, 2002, TABLEAUX.
Andrei Voronkov, Anatoli Degtyarev, 1996, Theor. Comput. Sci..
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 2001 .
Andrei Voronkov, Anatoli Degtyarev, 1995, WOCFAI.
Anatoli Degtyarev, Andrei Voronkov, A. Voronkov, 1996, J. Log. Program..
Michael Fisher, Boris Konev, Anatoli Degtyarev, 2003, LPAR.
Maribel Fernández, Sandra Alves, Anatoli Degtyarev, 2014, LOPSTR.
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 1995, ICLP.
Michael Fisher, Anatoli Degtyarev, Michael Fisher, 2001, KI/ÖGAI.
Valentin M. Antimirov, Anatoli Degtyarev, 1993, AMAST.
Michael Fisher, Anatoli Degtyarev, 2000, ARW.
Vladimir Aleksic, Anatoli Degtyarev, A. Degtyarev, 2005, LPAR.
Andrei Voronkov, Anatoli Degtyarev, 2000, CADE.
Paliath Narendran, Margus Veanes, Andrei Voronkov, 2000, Theor. Comput. Sci..
Andrei Voronkov, Yuri V. Matiyasevich, Anatoli Degtyarev, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Paliath Narendran, Margus Veanes, Andrei Voronkov, 1998, RTA.
Andrei Voronkov, Anatoli Degtyarev, 1996, DISCO.
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Vladimir Aleksic, Anatoli Degtyarev, A. Degtyarev, 2006 .
Andrei Voronkov, Anatoli Degtyarev, 1995, CSL.
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 2001, Handbook of Automated Reasoning.
Andrei Voronkov, Anatoli Degtyarev, 1996, JELIA.
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 2001, Handbook of Automated Reasoning.
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 1986, Cybernetics.
Michael Fisher, Alexei Lisitsa, Anatoli Degtyarev, 2002, Stud Logica.
Andrei Voronkov, Anatoli Degtyarev, A. Voronkov, 1996, Journal of Automated Reasoning.
Clare Dixon, Michael Fisher, Boris Konev, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Michael Fisher, Alexei Lisitsa, James Brotherston, 2002, LPAR.
Anatoli Degtyarev, Yuri Matiyasevich, 1995 .
Alexander V. Lyaletski, Anatoli Degtyarev, M. K. Morokhovets, 2001 .
Michael Fisher, Boris Konev, Anatoli Degtyarev, 2003 .