1. Handbook of automated reasoning. Volume I (©2001) Other Names: Robinson, J. A (John Alan); Voronkov, Andrei, 1959- Record Type: Book Extent: 1 online resource (xxv, 2122 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Perspectives of system informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers /: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers. (2016) Editors: Mazzara, Manuel; Voronkov, Andrei, 1959- Other Names: Veith, Helmut honouree.; International Andrei Ershov Memorial Conference, 10th Record Type: Book Extent: 1 online resource (x, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Perspectives of system informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers /: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers. (2019) Editors: Björner, Nikolaj; Virbitskaite, Irina; Voronkov, Andrei, 1959- Other Names: International Andrei Ershov Memorial Conference, 12th Record Type: Book Extent: 1 online resource (xviii, 263 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers /: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers. (2015) Editors: Voronkov, Andrei, 1959-; Virbitskaite, Irina Other Names: International Andrei Ershov Memorial Conference, 9th Record Type: Book Extent: 1 online resource (xiii, 415 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗