Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Order Theory Resolution Calculus.. LPAR, volume 624 of Lecture Notes in Computer Science, page 119-130. Springer, (1992)Theory Reasoning in Connection Calculi. Lecture Notes in Computer Science Springer, (1998)The Taming of the (X)OR., and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 508-522. Springer, (2000)A Model Elimination Calculus with Built-in Theories.. GWAI, volume 671 of Lecture Notes in Computer Science, page 30-42. Springer, (1992)Linear and Unit-Resulting Refutations for Horn Theories.. J. Autom. Reason., 16 (3): 241-319 (1996)Preface., , and . J. Autom. Reason., 45 (2): 89 (2010)Didaktische Arrangements und Lerninhalte. Zum Verhältnis von Inhalt und Didaktik im E-Learning. Überwindung von Schranken durch E-Learning, Studien-Verlag, (2007)Werkstatt der Schreiberlinge. Gedankensplitter, (2010)Höhere Lernqualität durch interaktive Medien? - Eine kritische Reflexion, and . (2013)Content-Management-Systeme in e-Education, , and . Studien-Verl., Innsbruck u.a., (2004)