| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings | 978-3-642-22437-9 | 2011 | Viorica Sofronie-Stokkermans |
| FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings | 978-3-319-19248-2 | 2015 | Frank de Boer |
| Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings | 978-3-642-28716-9 | 2012 | Andrei Voronkov |
| Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised ... in Computer Science , Band 11964) | 978-3-030-37486-0 | 2020 | Irina Virbitskaite · Andrei Voronkov |