Language: English
Help
回圖書館
Login
Languages
Jump To : Overview | Titles | Subjects

Voronkov, Andrei.

Overview
Works: 1 works in 9 publications in 1 languages
Titles
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: Voronkov, Andrei.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Sutcliffe, Geoff. (Electronic resources)
Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / by: SpringerLink (Online service); Pnueli, Amir.; Voronkov, Andrei.; Virbitskaite, Irina.; Congress on Progress and Controversies in Oncological Urology (2000:) (Electronic resources)
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: Congress on Progress and Controversies in Oncological Urology (2000:); Virbitskaite, Irina.; Voronkov, Andrei.; Clarke, Edmund.; SpringerLink (Online service) (Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / by: Fermuller, Christian G.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Voronkov, Andrei. (Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / by: SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Clarke, Edmund M.; Voronkov, Andrei. (Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: SpringerLink (Online service); Voronkov, Andrei.; Bjorner, Nikolaj.; Congress on Progress and Controversies in Oncological Urology (2000:) (Electronic resources)
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by: SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Voronkov, Andrei. (Electronic resources)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / by: SpringerLink (Online service); Baader, Franz.; Voronkov, Andrei.; Congress on Progress and Controversies in Oncological Urology (2000:) (Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: SpringerLink (Online service); LPAR 2008 (Dawhah, Qatar)) ((2008 :); Veith, Helmut.; Cervesato, Iliano.; Voronkov, Andrei. (Electronic resources)
 
 
Change password
Login