By Voronkov A.   in Theoretical Computer Science

ISSN:0304-3975|224|1|319-352

Elsevier‎(1999)‎

Access to resources Favorite 14.618183

By Degtyarev A.   Voronkov A.   in Theoretical Computer Science

ISSN:0304-3975|166|1|291-300

Elsevier‎(1996)‎

Access to resources Favorite 10.51725

By Gurevich Y.   Voronkov A.   in Theoretical Computer Science

ISSN:0304-3975|222|1|133-152

Elsevier‎(1999)‎

Access to resources Favorite 8.887246

By Fitting M.   Thalmann L.   Voronkov A.   in Studia Logica

ISSN:0039-3215|69|1|133-169

Springer Publishing Company ‎(2001)‎

Access to resources Favorite 6.8886285

By Kovaleva L.   Timofeeva G.   Zakharova E.   Voronkov A.   Rakitin V.   in Russian Journal of Plant Physiology

ISSN:1021-4437|58|3|402-408

MAIK Nauka/Interperiodica‎(2011)‎

Access to resources Favorite 5.258625

By Voronkov A.   Masunov E.   Polozov S.   Rashchikov V.   in Atomic Energy

ISSN:1063-4258|109|2|106-112

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 5.258625

By Voronkov A.   Ivanov A.   Baskin I.   Palyulin V.   Zefirov N.   in Doklady Biochemistry & Biophysics

ISSN:1607-6729|403|1-6|284-288

MAIK Nauka/Interperiodica‎(2005)‎

Access to resources Favorite 5.258625

By Voronkov A.   Baskin I.   Palyulin V.   Zefirov N.   in Doklady Biochemistry & Biophysics

ISSN:1607-6729|412|1|8-11

MAIK Nauka/Interperiodica‎(2007)‎

Access to resources Favorite 5.258625

By Ivanov A. A.   Voronkov A. E.   Baskin I. I.   Palyulin V. A.   Zefirov N. S.   in Doklady Biochemistry & Biophysics

ISSN:1607-6729|394|1-6|49-52

MAIK Nauka/Interperiodica‎(2004)‎

Access to resources Favorite 4.0490847

By Voronkov O.   in Power Technology and Engineering

ISSN:1570-145X|44|5|342-347

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 2.1023164