Home Advanced Search

Advanced Search - Page 1

Computability, Complexity, Logic
  • PDF
  • English
  • Year: 1989
  • Author: E. Börger
Computability, complexity, logic
  • DJVU
  • English
  • Year: 1989
  • Author: E. Börger
Computability, Complexity, Logic
  • DJVU
  • German
  • Year: 1989
  • Author: E. Börger
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
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.)
Modeling Companion for Software Practitioners
  • PDF
  • English
  • Year: 2018
  • Author: Egon Börger, Alexander Raschke
The classical decision problem
  • DJVU
  • English
  • Year: 1997
  • Author: Grädel, Erich; Gurevich, Yuri; Börger, Egon