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)
Representations of Permutation Groups I
  • DJVU
  • English
  • Year: 1971
  • Author: A. Kerber
Representations of Permutation Groups II
  • DJVU
  • English
  • Year: 1975
  • Author: A. Kerber
Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Carette, Jacques; Kaliszyk, Cezary; Kerber, Manfred; Rabe, Florian; Sorge, Volker (eds)
25 Jahre ressourcen- und kompetenzorientierte Forschung: Der kompetenzbasierte Ansatz auf dem Weg zum Schlüsselparadigma in der Managementforschung
  • PDF
  • German
  • Year: 2010
  • Author: Manfred Moldaschl (auth.), Michael Stephan, Wolfgang Kerber, Tim Kessler, Michael Lingenfelder (eds.)
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Mirian Andrés, Laureano Lambán, Julio Rubio (auth.), Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.)
Sexualität in der personzentrierten Psychotherapie
  • PDF
  • German
  • Year: 2018
  • Author: Alina Kerber
Diskrete Strukturen, SS 1996
  • PDF
  • German
  • Year: 1996
  • Author: Adalbert Kerber