Home Advanced Search

Advanced Search - Page 1

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.)
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: 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.)
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
  • PDF
  • Year: 2001
  • Author: Manfred Kerber (Editor); Michael Kohlhase (Editor)
Pollutant-Solid Phase Interactions Mechanisms, Chemistry and Modeling
  • PDF
  • English
  • Year: 2001
  • Author: Tarek A. T. Aboul-Kassim (auth.), T. A. T. Aboul-Kassim, B. R. T. Simoneit (eds.)
Term Rewriting Systems
  • DJVU
  • English
  • Year: 2003
  • Author: Terese
Digitalisierung von Zivilprozess und Rechtsdurchsetzung
  • PDF
  • German
  • Author: Adrian, Axel; Kohlhase, Michael; Evert, Stephanie; Zwickel, Martin
Computational Social Networks: Tools, Perspectives and Applications
  • PDF
  • English
  • Year: 2012
  • Author: Mrutyunjaya Panda, Nashwa El-Bendary, Mostafa A. Salama, Aboul Ella Hassanien (auth.), Ajith Abraham, Aboul-Ella Hassanien (eds.)
Performance Management: A business process benchmarking approach
  • PDF
  • English
  • Year: 1995
  • Author: BjØrn Andersen (auth.), Asbjørn Rolstadås (eds.)
Information Handling in Astronomy
  • PDF
  • English
  • Year: 2000
  • Author: Johannes Andersen (auth.), André Heck (eds.)
search