Home Advanced Search

Advanced Search - Page 1

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
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Kamal Aboul-Hosn, Terese Damhøj Andersen (auth.), Michael Kohlhase (eds.)
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)
CYCLOPARAFFINS: THE PREPARATION OF TWO 1-ACYL-2-NITRO-2,3,3- TRIMETHYLCYCLOPROPANES AND THEIR REACTION WITH ALKALIS
  • PDF
  • English
  • Author: KOHLHASE, WILLIAM LAWRENCE
KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Ramon López de Mántaras, Maarten Grachten, Josep-Lluís Arcos (auth.), Christian Freksa, Michael Kohlhase, Kerstin Schill (eds.)
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
Sustainable Products: Life Cycle Assessment, Risk Management, Supply Chains, Eco-Design
  • EPUB
  • English
  • Year: 2022
  • Author: Michael Has
Sustainable Products: Life Cycle Assessment, Risk Management, Supply Chains, Eco-Design
  • PDF
  • English
  • Year: 2022
  • Author: Michael Has
Essential Music Theory for Singers
  • PDF
  • English
  • Year: 2003
  • Author: Michael Michael
search