Home Advanced Search

Advanced Search - Page 1

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.)
Foundations of Equational Logic Programming
  • DJVU
  • English
  • Year: 1989
  • Author: Steffen Hölldobler (eds.)
Foundations of Equational Logic Programming
  • DJVU
  • English
  • Year: 1989
  • Author: Steffen Hölldobler (eds.)
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
  • PDF
  • English
  • Year: 2000
  • Author: Steffen Hölldobler (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.)
Proof Theory of Modal Logic
  • PDF
  • English
  • Year: 1996
  • Author: Heinrich Wansing (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.)
The Logic of Information Structures
  • DJVU
  • English
  • Year: 1993
  • Author: Heinrich Wansing (auth.)
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)
search