Autor der Publikation

Information Visualization on Organized Crime Trials.

, , , und . Eurographics Italian Chapter Conference, Seite 35-39. Eurographics, (2011)

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

A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning., und . TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 143-159. Springer, (2000)A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification., und . TABLEAUX, Volume 1617 von Lecture Notes in Computer Science, Seite 97-112. Springer, (1999)Combining Sets with Integers.. FroCoS, Volume 2309 von Lecture Notes in Computer Science, Seite 103-116. Springer, (2002)A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case., , und . J. Autom. Reasoning, 33 (3-4): 251-269 (2004)A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership., , und . J. Autom. Reasoning, 34 (1): 49-72 (2005)Combining Sets with Cardinals.. J. Autom. Reasoning, 34 (1): 1-29 (2005)Socio-Legal Analysis of Criminal Sentences: A Preliminary Study., , , und . ICWSM, The AAAI Press, (2010)Combining Nonstably Infinite Theories., und . J. Autom. Reasoning, 34 (3): 209-238 (2005)Combining Decision Procedures., und . 10th Anniversary Colloquium of UNU/IIST, Volume 2757 von Lecture Notes in Computer Science, Seite 381-422. Springer, (2002)Combining Sets with Elements.. Verification: Theory and Practice, Volume 2772 von Lecture Notes in Computer Science, Seite 762-782. Springer, (2003)