Home Advanced Search

Advanced Search - Page 1

Proof and System-Reliability
  • PDF
  • English
  • Year: 2002
  • Author: G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)
Proof and Computation
  • PDF
  • English
  • Year: 1995
  • Author: Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)
Modellbildung in der Informatik
  • PDF
  • German
  • Year: 2004
  • Author: Manfred Broy, Ralf Steinbrüggen (auth.)
Logic of Computation
  • PDF
  • English
  • Year: 1997
  • Author: Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
Logic colloquium '03: lecture notes in logic 24
  • DJVU
  • English
  • Year: 2006
  • Author: Stoltenberg-Hansen, Viggo.; Väänänen, Jouko (eds.)
Computational Logic
  • PDF
  • English
  • Year: 1999
  • Author: Ulrich Berger, Helmut Schwichtenberg (eds.)
Logic and Algebra of Specification
  • PDF
  • English
  • Year: 1993
  • Author: Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)
Logicism, Intuitionism, and Formalism: What Has Become of Them?
  • PDF
  • English
  • Year: 2009
  • Author: Sten Lindström, Erik Palmgren (auth.), Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen (eds.)
Handbuch der Normalen und Pathologischen Physiologie: Fünfzehnter Band / Zweite Hälfte Correlationen I/2 (J. II/2. Arbeitsphysiologie II · J. III. Orientierung J. VI. Plastizität · J. VII. Stimme und Sprache)
  • PDF
  • German
  • Year: 1931
  • Author: Emanuel Hansen (auth.), A. Bethe, G. v. Bergmann, G. Embden, A. Ellinger (eds.)
search