.Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 : revised papers /.,.
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 : revised papers /
.Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /.,.
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /
.Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings /.,.
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings /