VIAF

Virtual International Authority File

Search

Voronkov, Andrei, 1959-.... Swiss National Library National Library of Israel German National Library NUKAT Center of Warsaw University Library National Library of the Czech Republic Library of Congress/NACO Sudoc [ABES], France

Voronkov, Andrei RERO - Library Network of Western Switzerland BIBSYS

Voronkov, Andrej (Andrej Aleksandrovič), 1959- National Library of the Netherlands

Voronkov, A ISNI

Андрей Александрович Воронков Wikidata

VIAF ID: 8047455 (Personal)

Permalink: http://viaf.org/viaf/8047455

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (23)

Open Section Close SectionWorks

Title Sources
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings Sudoc [ABES], France RERO - Library Network of Western Switzerland National Library of the Netherlands Library of Congress/NACO BIBSYS
CADE-18 RERO - Library Network of Western Switzerland National Library of the Netherlands
Complexity of nonrecursive logic programs with complex values German National Library
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings Sudoc [ABES], France Library of Congress/NACO
CSR 2007 Library of Congress/NACO
Eliminiation of equality via transformation with ordering constraints German National Library
Equality reasoning in sequent based calculi German National Library
Handbook of automated reasoning, 2001: Library of Congress/NACO National Library of Israel Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands BIBSYS
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings Sudoc [ABES], France
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings RERO - Library Network of Western Switzerland German National Library NUKAT Center of Warsaw University Library BIBSYS Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands
LPAR 2006 National Library of the Netherlands Library of Congress/NACO
LPAR'99 Sudoc [ABES], France RERO - Library Network of Western Switzerland
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers German National Library Swiss National Library Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands
Programming Logics Essays in Memory of Harald Ganzinger German National Library
PSI 2011 National Library of the Netherlands Library of Congress/NACO
Rewriting techniques and applications : 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings Sudoc [ABES], France RERO - Library Network of Western Switzerland National Library of the Netherlands
RTA 2008 RERO - Library Network of Western Switzerland National Library of the Netherlands
Russian Conference on Logic Programming (1st : 1990 : Irkutsk, R.S.F.S.R.). Logic programming, c1992: National Library of Israel Library of Congress/NACO
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 Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (9)

Open Section Close Section About

Open Section Close Section History of VIAF ID:8047455 (18)