Home Advanced Search

Advanced Search - Page 1

Introduction to Computational Logic (SS 2014) [lecture notes]
  • PDF
  • English
  • Year: 2014
  • Author: Gert Smolka, Chad E. Brown
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
Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
  • DJVU
  • English
  • Year: 2007
  • Author: Brown, Chad E
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.)
15 Approach Note And Enclosure Exercises For Jazz Musicians.
  • PDF
  • English
  • Year: 2018
  • Author: Lefkowitz-Brown, Chad
(Treble Clef) Melodic Cells - 64 Exercises For Building Ultimate Technique
  • PDF
  • English
  • Year: 2020
  • Author: Chad Lefkowitz-Brown
search