Home Advanced Search
Advanced Search - Page 1
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
- Year: 2001
- Author: Manfred Kerber (Editor); Michael Kohlhase (Editor)
CYCLOPARAFFINS: THE PREPARATION OF TWO 1-ACYL-2-NITRO-2,3,3- TRIMETHYLCYCLOPROPANES AND THEIR REACTION WITH ALKALIS
- English
- Author: KOHLHASE, WILLIAM LAWRENCE
Digitalisierung von Zivilprozess und Rechtsdurchsetzung
- German
- Author: Adrian, Axel; Kohlhase, Michael; Evert, Stephanie; Zwickel, Martin
Commentaria in Aristotelem Graeca: Vol XXII. Pars 3 (Suppl. XX) Michaelis Ephesii in librum quintum Ethicorum Nicomacheorum commentarium
- Ancient Greek
- Year: 1901
- Author: Michael (editor); Michael Hayduck (editor)
Mülltheorie: Über die Schaffung und Vernichtung von Werten
- German
- Year: 2021
- Author: Michael Thompson (editor); Michael Fehr (editor)
The Sacred Text: Excavating the Texts, Exploring the Interpretations, and Engaging the Theologies of the Christian Scriptures
- English
- Year: 2010
- Author: Michael Bird (editor); Michael Pahl (editor)
„Alle Verhältnisse umzuwerfen … und die Mächtigen vom Thron zu stürzen“: Das gemeinsame Erbe von Christen und Marx
- German
- Year: 2018
- Author: Michael Ramminger (editor), Michael Segbers (editor)
Candidate Selection in Comparative Perspective: The Secret Garden of Politics
- English
- Year: 1987
- Author: Michael Gallagher (editor), Michael Marsh (editor)
Problems in Hand Surgery: Solutions to Recover Function
- English
- Year: 2020
- Author: Michael Neumeister (editor), Michael Sauerbier (editor)
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
- English
- Year: 2016
- Author: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)