( en | de | ru )

 

Disambiguierung von "Rath, Jakob"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inconsistency Proofs for ASP: The ASP - DRUPE Format.

, , , , , und . Theory Pract. Log. Program., 19 (5-6): 891-907 (2019)

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.

Johannes Rath

Thomas Rath

Willi Rath

Detlef Rath

Kurt Räth

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Generation of Exam Sheets for Automated Deduction., , und . CICM, Volume 12833 von Lecture Notes in Computer Science, Seite 185-196. Springer, (2021)SAT-Based Subsumption Resolution., , , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 190-206. Springer, (2023)Integrating Answer Set Programming with Object-Oriented Languages., und . PADL, Volume 10137 von Lecture Notes in Computer Science, Seite 50-67. Springer, (2017)SAT-Based Subsumption Resolution., , , und . CoRR, (2024)Inconsistency Proofs for ASP: The ASP - DRUPE Format., , , , , und . Theory Pract. Log. Program., 19 (5-6): 891-907 (2019)First-Order Subsumption via SAT Solving., , und . FMCAD, Seite 160-169. IEEE, (2022)Subsumption Demodulation in First-Order Theorem Proving., , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 297-315. Springer, (2020)