Home Advanced Search

Advanced Search - Page 1

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.)
Parallel Computing Technologies: 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Farid Ablayev, Alexander Vasiliev (auth.), Victor Malyshkin (eds.)
Parallel Computing Technologies: 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Farid Ablayev, Alexander Vasiliev (auth.), Victor Malyshkin (eds.)
Computer Science – Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Susanne Albers (auth.), Farid Ablayev, Ernst W. Mayr (eds.)
Computer Science – Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Susanne Albers (auth.), Farid Ablayev, Ernst W. Mayr (eds.)
Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)
search