Examples: Prince; Princeton University; Ken Follett; Follett,Ken; Follet,
1shortlisttitle datasearch history  
results search [or] ISN:0000000120989520 | 1 hits
Person
ISNI: 
0000 0001 2421 7739
Name: 
Andrei Voronkov
Andrei Voronkov (Academic)
Andrei Voronkov (russischer Informatiker)
Voronkov, A.
Voronkov, A. A.
Voronkov, Andrei
Voronkov, Andrei Aleksandrovič
Voronkov, Andreĭ Aleksandrovich
Voronkov, Andrej
Voronkov, Andrej Aleksandrovič
Воронков, А. А
Воронков, Андрей Александрович
Dates: 
1959-
Creation class: 
Computer file
cre
Language material
text
txt
Creation role: 
author
contributor
editor
redactor
Related names: 
Cervesato, Iliano
Nieuwenhuis, Robert
Parigot, Michel (1956-)
Pnueli, Amir (1941-2009)
Robinson, John Alan
Sutcliffe, Geoff
University of Manchester
Vardi, Moshe Y.
Veith, Helmut
Virbitskaite, Irina
Titles: 
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Complexity and expressive power of logic programming
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
CSR 2007
Handbook of automated reasoning, 2001:
How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi
Limited resource strategy in resolution theorem proving
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
LPAR 2006
LPAR'99
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers
PSI 2011
Rewriting techniques and applications 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings
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
Notes: 
Sources: 
VIAF DNB LC NKC NUKAT SUDOC WKD
BOWKER
JNAM
NTA
TEL