Home Advanced Search

Advanced Search - Page 1

Confluence and Normalization in Reduction Systems [lecture notes]
  • PDF
  • English
  • Year: 2015
  • Author: Gert Smolka
Programmierung - eine Einführung in die Informatik mit Standard ML
  • PDF
  • German
  • Year: 2011
  • Author: Gert Smolka
Programmierung - eine Einführung in die Informatik mit Standard ML
  • PDF
  • German
  • Year: 2009
  • Author: Gert Smolka
Programmierung - eine Einfuhrung in die Informatik mit Standard ML
  • PDF
  • German
  • Year: 2007
  • Author: Gert Smolka
Introduction to Computational Logic (SS 2014) [lecture notes]
  • PDF
  • English
  • Year: 2014
  • Author: Gert Smolka, Chad E. Brown
Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Gert Smolka (auth.), Chris Hankin (eds.)
Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Pascal Van Hentenryck (auth.), Gert Smolka (eds.)
Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Pascal Van Hentenryck (auth.), Gert Smolka (eds.)
Miami Marlins
  • PDF
  • English
  • Year: 2014
  • Author: Bo Smolka
Belastungsprobe für die Europäische Union: Veränderung der Demokratiequalität in den 27 Mitgliedstaaten zwischen 2004 und 2012
  • PDF
  • German
  • Year: 2019
  • Author: Theresia Smolka
search