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.)
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Yaniv Bargury, Johann Makowsky (auth.), Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael 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.)
CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (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
Artificial Liver Support: Concepts, Methods, Results
  • PDF
  • English
  • Year: 1992
  • Author: G. A. Martini (auth.), G. Brunner, M. Mito (eds.)
Tropische Dermatosen Juxtaartikuläre Knoten Rattenbisskrankheit
  • PDF
  • German
  • Year: 1932
  • Author: Martin Mayer, Ernst G. Nauck (auth.), F. Breinl, F. Fülleborn, H. Hoffmann, E. Martini, M. Mayer, E. G. Nauck, H. Da Rocha Lima, B. Sklarek, H. Ƶiemann (eds.)
Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
  • PDF
  • English
  • Year: 1984
  • Author: Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)
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.)
search