Home Advanced Search

Advanced Search - Page 1

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
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.)
Computation and Proof Theory
  • DJVU
  • English
  • Year: 1984
  • Author: Richter M.M. (ed.), Borger E. (ed.), Oberschelp W. (ed.)
Karl der Große und sein Nachwirken. Bd. 1. Wissen und Weltbild.
  • PDF
  • German
  • Author: Butzer, P. L., M. Kerner und W. Oberschelp (Hrsg.)
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.)
Quantitative Methoden 1: Einführung in die Statistik, 2. Auflage (Springer-Lehrbuch) (German Edition)
  • PDF
  • German
  • Year: 2006
  • Author: B. Rasch, M. Friese, W. Hofmann, E. Naumann
An Analysis of Classic Lowland Maya Burials
  • PDF
  • English
  • Year: 1988
  • Author: W. B. M. Welsh
Gottfried Wilhelm Leibniz: The Polymath Who Brought Us Calculus
  • PDF
  • English
  • Year: 2012
  • Author: M. B. W. Tent
Leonhard Euler and the Bernoullis : mathematicians from Basel
  • PDF
  • English
  • Year: 2009
  • Author: M B W Tent
The prince of mathematics Carl Friedrich Gauss
  • DJVU
  • English
  • Year: 2006
  • Author: M. B. W. Tent
search