| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings | | 978-3-540-43931-8 | 2010 |
| Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September ... Computer Science and General Issues) | | 978-3-540-74509-9 | 2007 | Volker Diekert · Mikhail Volkov |
| Handbook of Automated Reasoning | | 978-0-262-18222-5 | 2001 | J. Alan Robinson |
| Handbook of Automated Reasoning | | 978-0-262-18223-2 | 2001 | " |
| Handbook of Automated Reasoning, Vol. 1 | | 978-0-262-18221-8 | 2001 | " |
| Handbook of Automated Reasoning, Volume 1 | | 978-0-444-50813-3 | 2001 | Alan J.A. Robinson |
| Handbook of Automated Reasoning, Volume I | | 978-0-444-82949-8 | 2001 | " |
| Handbook of Automated Reasoning, Volume II | | 978-0-444-50812-6 | 2001 | " |
| Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings | | 978-3-540-41285-4 | 2008 | Michel Parigot |
| Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science , Band 2250) | | 978-3-540-42957-9 | 2001 | Robert Nieuwenhuis |
| Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings | | 978-3-540-00010-5 | 2009 | Matthias Baaz |
| Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... Notes in Computer Science , Band 2850) | | 978-3-540-20101-4 | 2008 | Moshe Vardi |
| Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... Notes in Computer Science , Band 3452) | | 978-3-540-25236-8 | 2008 | Franz Baader |
| Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, ... Notes in Computer Science , Band 3835) | | 978-3-540-30553-8 | 2009 | Geoff Sutcliffe |
| Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... Notes in Computer Science , Band 4246) | | 978-3-540-48281-9 | 2008 | Miki Hermann |
| Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised ... Notes in Computer Science, Band 6355) | | 978-3-642-17510-7 | 2011 | Edmund M. Clarke |
| Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... Notes in Computer Science, Band 6397) | | 978-3-642-16241-1 | 2010 | Christian G. Fermüller |
| 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 | Nikolaj Bjørner |
| Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... Notes in Computer Science, Band 8312) | | 978-3-642-45220-8 | 2013 | Ken McMillan · Aart Middeldorp |
| Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | | 978-3-662-48898-0 | 2015 | Martin Davis · Ansgar Fehnker · Annabelle McIver |
| Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings | | 978-3-540-56944-2 | 2008 |
| Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings | | 978-0-387-56944-4 | 1993 |
| Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings | | 978-3-540-66492-5 | 2008 | Harald Ganzinger · David McAllester |
| Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings | | 978-3-540-55727-2 | 2008 |
| Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... Notes in Computer Science , Band 592) | | 978-3-540-55460-8 | 2008 |
| Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised ... Notes in Computer Science, Band 8974) | | 978-3-662-46822-7 | 2015 | Irina Virbitskaite |
| Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, ... Notes in Computer Science, Band 9609) | | 978-3-319-41578-9 | 2016 | Manuel Mazzara |
| Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised ... Notes in Computer Science, Band 10742) | | 978-3-319-74312-7 | 2018 | Alexander K. Petrenko |
| 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 | Nikolaj Bjørner · Irina Virbitskaite |
| Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised ... Notes in Computer Science , Band 4378) | | 978-3-540-70880-3 | 2010 | Irina Virbitskaite |
| Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers | | 978-3-642-11485-4 | 2010 | Amir Pnueli · Irina Virbitskaite |
| Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... Notes in Computer Science, Band 7162) | | 978-3-642-29708-3 | 2012 | Edmund Clarke · Irina Virbitskaite |
| Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers | | 978-3-642-29710-6 | 2012 | Edmund Clarke · Irina Virbitskaite |
| Programming Logics: Essays in Memory of Harald Ganzinger | | 978-3-642-37650-4 | 2013 | Christoph Weidenbach |
| Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings | | 978-3-540-70588-8 | 2008 |
| Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ... Notes in Computer Science , Band 1472) | | 978-3-540-65305-9 | 2010 | Burkhard Freitag · Hendrik Decker · Michael Kifer |