Home Advanced Search

Advanced Search - Page 1

Principles of Logic and Logic Programming
  • PDF
  • English
  • Year: 1996
  • Author: G. Metakides and A. Nerode (Eds.)
Principles of Logic and Logic Programming
  • PDF
  • English
  • Year: 1996
  • Author: G. Metakides and A. Nerode (Eds.)
Principles of Logic and Logic Programming
  • DJVU
  • English
  • Year: 1996
  • Author: G. Metakides and A. Nerode (Eds.)
Recursion Theory
  • DJVU
  • English
  • Year: 1985
  • Author: Nerode A., Shore R. (eds.)
Patras Logic Symposium: Proceedings
  • PDF
  • English
  • Year: 1982
  • Author: George Metakides
Patras logic symposion: Proceedings Patras, 1980
  • DJVU
  • English
  • Year: 1982
  • Author: George Metakides
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.)
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.)
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.)
search