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
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.)
An Analysis of Classic Lowland Maya Burials
  • PDF
  • English
  • Year: 1988
  • Author: W. B. M. Welsh
The prince of mathematics Carl Friedrich Gauss
  • DJVU
  • English
  • Year: 2006
  • Author: M. B. W. Tent
Subharmonic functions, vol.2
  • DJVU
  • English
  • Year: 1990
  • Author: W. K. Hayman, P. M. Cohn, B. E. Johnson
The works of Robert Boyle. Vol. 7. Publications of 1672-73
  • PDF
  • English
  • Year: 2003
  • Author: Robert Boyle; Hunter, M. W. C; Davis, E. B.
The works of Robert Boyle. Vol. 10 Publications of 1684-86
  • PDF
  • English
  • Year: 2003
  • Author: Robert Boyle; Hunter, M. W. C.; Davis, E. B.