Autor der Publikation

Backstage: A Versatile Platform Supporting Learning and Teaching Format Composition.

, , und . Koli Calling, Seite 27:1-27:2. ACM, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Negation in Logic Programming: A Formalization in Constructive Logic.. IS/KI, Volume 474 von Lecture Notes in Computer Science, Seite 30-46. Springer, (1990)Upside-down deduction.. BDA, Seite 91-. INRIA, (1990)In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.. CoRR, (2018)Query Answering in Information Systems with Integrity Constraints.. IICIS, Volume 109 von IFIP Conference Proceedings, Seite 113-130. Chapman Hall, (1997)Discerning Actuality in Backstage - Comprehensible Contextual Aging., , und . EC-TEL, Volume 7563 von Lecture Notes in Computer Science, Seite 126-139. Springer, (2012)CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge., , und . CSI-SE@ICSE, Seite 1-8. ACM, (2018)On the number of 1-factors of locally finite graphs.. J. Comb. Theory, Ser. B, 34 (1): 48-57 (1983)Disjunctive Logic Programming: What Applications Developers Need.. GI Jahrestagung, Seite 74. Springer, (1994)Model Theory and Entailment Rules for RDF Containers, Collections and Reification, , und . (2009)In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.. Theory Pract. Log. Program., 20 (1): 99-146 (2020)