Home Advanced Search

Advanced Search - Page 1

Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Sava Krstić, Amit Goel (auth.), Boris Konev, Frank Wolter (eds.)
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Sašo Džeroski (auth.), Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.)
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Sašo Džeroski (auth.), Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.)
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Marek Chrobak (auth.), Leszek Gąsieniec, Frank Wolter (eds.)
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Marek Chrobak (auth.), Leszek Gąsieniec, Frank Wolter (eds.)
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Marek Chrobak (auth.), Leszek Gąsieniec, Frank Wolter (eds.)
Bulgarian Studies in the Philosophy of Science
  • PDF
  • English
  • Year: 2003
  • Author: Sava Petrov (auth.), Dimitri Ginev (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
Lattices of Modal Logics [PhD Thesis]
  • PDF
  • English
  • Year: 1993
  • Author: Frank Wolter
search