Home Advanced Search

Advanced Search - Page 1

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)
Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.)
Hugo Grotius as Apologist for the Christian Religion. A Study of his Work De veritate religionis christianae (1640)
  • PDF
  • English
  • Year: 2004
  • Author: Jan-Paul Heering
Databases in Telecommunications II: VLDB 2001 International Workshop Rome, Italy, September 10, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Jan A. Audestad (auth.), Willem Jonker (eds.)
Proofs and Algorithms: An Introduction to Logic and Computability
  • PDF
  • English
  • Year: 2011
  • Author: Gilles Dowek (auth.)
Principles of programming languages
  • PDF
  • English
  • Year: 2009
  • Author: Gilles Dowek (auth.)
Proofs and algorithms: An introduction to logic and computability
  • PDF
  • English
  • Year: 2011
  • Author: Gilles Dowek (auth.)
The Politics of Home: Belonging and Nostalgia in Western Europe and the United States
  • PDF
  • English
  • Year: 2011
  • Author: Jan Willem Duyvendak (auth.)
Fibre Metal Laminates: An Introduction
  • PDF
  • English
  • Year: 2001
  • Author: A. Vlot (auth.), Ad Vlot, Jan Willem Gunnink (eds.)
search