PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Alrabbaa, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evonne: Interactive Proof Visualization for Description Logics (System Description)

, , , , , und . Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings, Seite 271--280. Germany, Springer, Berlin u. a., (2022)Publisher Copyright: © 2022, The Author(s)..
DOI: 10.1007/978-3-031-10769-6_16

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.

Keine Personen gefunden für den Autorennamen Alrabbaa, Christian
Eine Person hinzufügen mit dem Namen Alrabbaa, Christian
 

Weitere Publikationen von Autoren mit dem selben Namen

Finding good proofs for Description Logic entailments using recursive quality measures, , , , und . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)Finding small proofs for Description Logic entailments: Theory and practice, , , , und . EasyChair, (2020)Evonne: Interactive Proof Visualization for Description Logics (System Description), , , , , und . Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings, Seite 271--280. Germany, Springer, Berlin u. a., (2022)Publisher Copyright: © 2022, The Author(s)..