Die gezeigten Posts sind eventuell nicht akkurat bei Änderungen, die vor Kurzem vorgenommen worden. Wollen Sie jedoch akkurate Posts mit eingeschränkten Sortierungsmöglichkeiten, folgen Sie dem folgenden Link.
L. Herrmann, V. Peth, und S. Rudolph. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Volume 288 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 33:1--33:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)
F. Baader, F. Kriegel, und A. Nuradiansyah. LTCS-Report, 24-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2024)
J. Bevendorff, M. Wiegmann, M. Potthast, und B. Stein. Proceedings of the 2024 Conference on Human Information Interaction and Retrieval, Seite 358–363. New York, NY, USA, Association for Computing Machinery, (2024)
J. Tiemann, M. McGinity, I. Sbalzarini, und U. Günther. Extended Abstracts of the 2024 CHI Conference on Human Factors in Computing Systems, New York, NY, USA, Association for Computing Machinery, (2024)
M. Sadeghi, D. Pöttgen, P. Ebel, und A. Vogelsang. Proceedings of the 32nd ACM Conference on User Modeling, Adaptation and Personalization, Seite 36–46. New York, NY, USA, Association for Computing Machinery, (2024)
M. Hoffmann, und E. Buchmann. Proceedings of the 11th Workshop ``Mensch-Maschine-Interaktion in sicherheitskritischen Systemen'' - Mensch und Computer (MuC'24), (2024)
F. Baader, und O. Fernández Gil. Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II, Volume 14740 von Lecture Notes in Computer Science, Seite 279--297. Springer, (2024)
