From post

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.

 

Другие публикации лиц с тем же именем

Linear and Unit-Resulting Refutations for Horn Theories.. J. Autom. Reason., 16 (3): 241-319 (1996)Preface., , и . J. Autom. Reason., 45 (2): 89 (2010)Feedback-Arten für Online-Lernen: Das Buch. (2016)The Taming of the (X)OR., и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 508-522. Springer, (2000)An Order Theory Resolution Calculus.. LPAR, том 624 из Lecture Notes in Computer Science, стр. 119-130. Springer, (1992)Logical Engineering with Instance-Based Methods.. CADE, том 4603 из Lecture Notes in Computer Science, стр. 404-409. Springer, (2007)Improving Reusability of OER - Educational Patterns for Content Sharing.. ICT-EurAsia, том 8407 из Lecture Notes in Computer Science, стр. 277-285. Springer, (2014)A Model Elimination Calculus with Built-in Theories.. GWAI, том 671 из Lecture Notes in Computer Science, стр. 30-42. Springer, (1992)Hierarchic Superposition Revisited., и . Description Logic, Theory Combination, and All That, том 11560 из Lecture Notes in Computer Science, стр. 15-56. Springer, (2019)Educating the Knowledge Worker in the Information Society: Baser - Basic Support for Efficient Research., и . Teleteaching, том 120 из books@ocg.at, стр. 109-118. Austrian Computer Society, (1998)