Home Advanced Search

Advanced Search - Page 1

Computational Logic
  • PDF
  • English
  • Year: 1999
  • Author: Ulrich Berger, Helmut Schwichtenberg (eds.)
Proof and Computation
  • PDF
  • English
  • Year: 1995
  • Author: Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
Logic of Computation
  • PDF
  • English
  • Year: 1997
  • Author: Peter Aczel (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.)
Logic and Algebra of Specification
  • PDF
  • English
  • Year: 1993
  • Author: Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)
Proof and System-Reliability
  • PDF
  • English
  • Year: 2002
  • Author: G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)
Monograph of the Amphisiellidae and Trachelostylidae (Ciliophora, Hypotricha) (Monographiae Biologicae)
  • PDF
  • English
  • Year: 2008
  • Author: Helmut Berger
Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer
  • PDF
  • English
  • Year: 2012
  • Author: Schwichtenberg, Helmut; Wainer, Stanley S
Proofs and Computations
  • PDF
  • English
  • Year: 2012
  • Author: Helmut Schwichtenberg, Stanley S. Wainer
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum: Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999
  • DJVU
  • English
  • Year: 2002,2010
  • Author: Peter Schuster, Ulrich Berger, Horst Osswald (eds.)
search