| Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings ISBN 9783642287176 (electronic bk.) ; 9783642287169 (paper) | edited by Nikolaj Bjorner, Andrei Voronkov. | Springer Berlin Heidelberg | 2012 | 館藏 | 檢視 |
| Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers ISBN 9783642114861 (electronic bk.) ; 9783642114854 (paper) | edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov. | Springer Berlin Heidelberg | 2010 | 館藏 | 檢視 |
| Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers ISBN 9783642297090 (electronic bk.) ; 9783642297083 (paper) | edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. | Springer Berlin Heidelberg | 2012 | 館藏 | 檢視 |
| Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings ISBN 9783540316503 (electronic bk.) ; 9783540305538 (paper) | edited by Geoff Sutcliffe, Andrei Voronkov. | Springer-Verlag GmbH. | 2005 | 館藏 | 檢視 |
| Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings ISBN 9783540322757 (electronic bk.) ; 9783540252368 (paper) | edited by Franz Baader, Andrei Voronkov. | Springer-Verlag GmbH. | 2005 | 館藏 | 檢視 |
| Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings ISBN 9783540705901 (electronic bk.) ; 9783540705888 (paper) | edited by Andrei Voronkov. | Springer-Verlag Berlin Heidelberg | 2008 | 館藏 | 檢視 |