Home Advanced Search

Advanced Search - Page 1

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
  • PDF
  • Year: 2001
  • Author: Manfred Kerber (Editor); Michael Kohlhase (Editor)
Digitalisierung von Zivilprozess und Rechtsdurchsetzung
  • PDF
  • German
  • Author: Adrian, Axel; Kohlhase, Michael; Evert, Stephanie; Zwickel, Martin
Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
Race, Politics, and Community Development Funding : The Discolor of Money
  • EPUB
  • English
  • Year: 2004
  • Author: Michael Bonds; Michael Bonds; Michael Bonds
Bibelauslegung: Grundlagen – Textanalysen – Praxisfelder
  • PDF
  • German
  • Year: 2022
  • Author: Michael Rydryck; Michael Schneider
Isaeus
  • PDF
  • English
  • Year: 2009
  • Author: Michael Edwards; Michael Edwards