Search for persons
X
?
Automated Deduction – CADE 28; Lecture Notes in Computer Science ,
5
The Isabelle/Naproche Natural Language Proof Assistant:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
6
Beautiful Formalizations in Isabelle/Naproche:
, In:
?
Hochschulen im Spannungsfeld der Bologna-Reform ,
13
Präventives Reformieren. Wie und warum "Gallische Dörfer" a..:
, In:
?
14
Lokaler Boykott der Bologna-Reform
Eine Untersuchung zur Beibehaltung des Diploms im Ingenieur...
essentials;SpringerLink, Bücher
?
Organisationsentwicklung
15
Keine schrecklich nette Familie
, In:Anmerkungen zu einer aufstrebenden Organisationsmetapher