VIAF

Virtual International Authority File

Search

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

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

Voronkov, Andrei BIBSYS

Voronkov, A ISNI

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

VIAF ID: 8047455 (Personal)

Permalink: https://viaf.org/viaf/8047455

Open Section Close Section Preferred Forms

 

 

 

 

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

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 National Library of the Netherlands Library of Congress/NACO BIBSYS
CADE-18 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: German National Library National Library of Israel Library of Congress/NACO 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 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
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers German 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 National Library of the Netherlands
RTA 2008 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 (3)

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 (14)