Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


40682 Treffer


× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Katholische Hochschule Mainz
× Hochschule Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen







  • Geilen, Nils; Thimm, Matthias
  • Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation
  • Elizabeth Black;Sanjay Modgil;Nir Oren (Hrsg). Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 143 - 149