Voronkov, Andrei, 1959-....
Voronkov, Andrei
Voronkov, Andrej (Andrej Aleksandrovič), 1959-
Voronkov, A
Андрей Александрович Воронков
Voronkov, Andrej Aleksandrovič (1959- )
Voronkov, Andrej Aleksandrovič
VIAF ID: 8047455 ( Personal )
Permalink: http://viaf.org/viaf/8047455
Preferred Forms
- 100 1 _ ‡a Voronkov, A
-
-
-
- 100 1 _ ‡a Voronkov, Andrei ‡d 1959-
- 100 1 _ ‡a Voronkov, Andrei ‡d 1959-
-
-
-
- 100 1 _ ‡a Voronkov, Andrei, ‡d 1959-
- 100 1 _ ‡a Voronkov, Andrei, ‡d 1959-....
-
-
-
- 100 0 _ ‡a Андрей Александрович Воронков
4xx's: Alternate Name Forms (34)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings | |
CADE-18 | |
Complexity of nonrecursive logic programs with complex values | |
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings | |
CSR 2007 | |
Eliminiation of equality via transformation with ordering constraints | |
Equality reasoning in sequent based calculi | |
Handbook of automated reasoning, 2001: | |
Logic for programming, artificial intelligence, and reasoning, (Springer) | |
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 ; proceedings | |
LPAR-18 | |
LPAR'99 | |
Metody analiza i ocenki gosudarstvennyh programm v SŠA | |
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers | |
Programming logics essays in memory of Harald Ganzinger | |
PSI 2011 | |
Rewriting techniques and applications : 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings | |
RTA 2008 | |
Russian Conference on Logic Programming (1st : 1990 : Irkutsk, R.S.F.S.R.). Logic programming, c1992: | |
Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers |