Voronkov, Andrei, 1959-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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
-
100 1 _ ‡a Voronkov, Andrei
-
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 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 1 _ ‡a Voronkov, Andrej ‡q (Andrej Aleksandrovič), ‡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 |
|
