Home Advanced Search

Advanced Search - Page 1

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Yuri Gurevich (auth.), Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.)
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India December 17–19, 1987 Proceedings
  • DJVU
  • English
  • Year: 1987
  • Author: Yuri Gurevich (auth.), Kesav V. Nori (eds.)
Fundamentals of Computation Theory: 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Volker Diekert (auth.), Zoltán Ésik (eds.)
Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Ian Horrocks (auth.), Andrei Voronkov (eds.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
Developments in Language Theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mikołaj Bojańczyk (auth.), Volker Diekert, Dirk Nowotka (eds.)
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Yuri Gurevich (auth.), Wolf Zimmermann, Bernhard Thalheim (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)
Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)
Informatik als Dialog zwischen Theorie und Anwendung
  • PDF
  • German
  • Year: 2009
  • Author: Klaus Waldschmidt (auth.), Volker Diekert, Karsten Weicker, Nicole Weicker (eds.)
search