Home Advanced Search

Advanced Search - Page 1

Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
  • DJVU
  • English
  • Year: 1993
  • Author: Stål Aanderaa (auth.), E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter (eds.)
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
  • DJVU
  • English
  • Year: 1984
  • Author: M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
Infektionen und Intoxikationen: Erster Teil
  • PDF
  • German
  • Year: 1935
  • Author: G. Stertz (auth.), E. Gamper, F. Jahnel, M. Kroll, L. Mann, H. Richter, A. v. Sarbó, O. Sittig, G. Stertz (eds.)
Advances in Internal Medicine and Pediatrics / Ergebnisse der Inneren Medizin und Kinderheilkunde: Neue Folge
  • PDF
  • German
  • Year: 1989
  • Author: E. Heidbreder, A. Heidland (auth.), M. Brandis, P. Frick, K. Kochsiek, G. A. Martini, A. Prader (eds.)
Advanced Psychosomatic Research in Obstetrics and Gynecology
  • PDF
  • English
  • Year: 1991
  • Author: G. Bos-Branolte, Y. M. Rijshouwer, E. M. Zielstra, H. J. Duivenvoorden (auth.), Prof. Dr. Dietmar Richter, Dr. Johannes Bitzer, Prof. Dr. Piet Nijs (eds.)
Ergebnisse der Inneren Medizin und Kinderheilkunde/Advances in Internal Medicine and Pediatrics: Neue Folge
  • PDF
  • German-English
  • Year: 1982
  • Author: H. Stolley, M. Kersting, W. Droese (auth.), P. Frick, G.-A. von Harnack, K. Kochsiek, G. A. Martini, A. Prader (eds.)
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
  • DJVU
  • English
  • Year: 1984
  • Author: G. H. Müller, M. M. Richter
Ergebnisse der Inneren Medizin und Kinderheilkunde / Advances in Internal Medicine and Pediatrics
  • PDF
  • German
  • Year: 1978
  • Author: U. Berger, A.-M. Fahr, H. Einecke (auth.), P. Frick, G.-A. von Harnack, G. A. Martini, A. Prader, R. Schoen, H. P. Wolff (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
search