Voronkov, Andrei, 1959-....
Voronkov, Andrei
Voronkov, Andrej (Andrej Aleksandrovič), 1959-
Voronkov, A
Андрей Александрович Воронков
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 (25)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
The anatomy of vampire |
![]() |
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 |
![]() |
Decidability and complexity of simultaneous rigid E-unification with one variable and related results |
![]() |
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 (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings |
![]() |
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 ; proceedings |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
LPAR 2006 |
![]() ![]() |
LPAR'99 |
![]() ![]() |
PDFX: fully-automated PDF-to-XML conversion of scientific literature |
![]() |
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 |
![]() ![]() |
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover |
![]() |
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 |
![]() |