Home Advanced Search

Advanced Search - Page 1

Foundations of Information and Knowledge Systems: Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Georg Gottlob (auth.), Dietmar Seipel, José María Turull-Torres (eds.)
Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)
Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva (auth.), Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers (eds.)
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva (auth.), Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers (eds.)
Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)
Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Petr Hájek (auth.), Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
Foundations of software science and computational structures: 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andrea Calì, Georg Gottlob, Giorgio Orsi (auth.), Lars Birkedal (eds.)
search