Author of the publication

Categorization of Virtual Learning Activities. Learning Objects & Reusability of Content

, and . Proceedings of the International Workshop ICL2003, Villach, Kassel University Press, (September 2003)

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

The model evolution calculus as a first-order DPLL method., and . Artif. Intell., 172 (4-5): 591-632 (2008)Studieren und Forschen mit dem Internet – Wissensmanagement in der Informationsgesellschaft. Band 1, page 311 -- 324. Schneider, Baltmannsweiler, (2001)ROI: Reusable Object and Instruction Paradox. Keynote at the 9th European Conference on Media in Higher Education GMW, Graz, (2004)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)An Order Theory Resolution Calculus.. LPAR, volume 624 of Lecture Notes in Computer Science, page 119-130. Springer, (1992)Hierarchic Superposition Revisited., and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 15-56. Springer, (2019)Educating the Knowledge Worker in the Information Society: Baser - Basic Support for Efficient Research., and . Teleteaching, volume 120 of books@ocg.at, page 109-118. Austrian Computer Society, (1998)Merge Path Improvements for Minimal Model Hyper Tableaux., , and . TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 51-65. Springer, (1999)A Model Elimination Calculus with Built-in Theories.. GWAI, volume 671 of Lecture Notes in Computer Science, page 30-42. Springer, (1992)