( en | de | ru )

 

Disambiguierung von "Formisano, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.

, , und . Theory and Applications of Relational Structures as Knowledge Instruments, Volume 4342 von Lecture Notes in Computer Science, Springer, (2006)

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.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Krause

 

Weitere Publikationen von Autoren mit dem selben Namen

An efficient relational deductive system for propositional non-classical logics., und . J. Appl. Non Class. Logics, 16 (3-4): 367-408 (2006)Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda, , und . CoRR, (2011)Perspectives on Logic-Based Approaches for Reasoning about Actions and Change., , und . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Volume 6565 von Lecture Notes in Computer Science, Seite 259-279. Springer, (2011)Weight Constraints with Preferences in ASP., und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 229-235. Springer, (2011)On T Logic Programming., , und . ILPS, Seite 323-337. MIT Press, (1997)Extending and implementing RASP, und . (2009)Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")., , , und . CoRR, (2021)Distributed colorings for collision-free routing in sink-centric sensor networks., , und . J. Discrete Algorithms, (2012)Negation as a Resource: a Novel View on Answer Set Semantics., und . CILC, Volume 1068 von CEUR Workshop Proceedings, Seite 17-31. CEUR-WS.org, (2013)A graphical approach to relational reasoning., , und . RelMiS, Volume 44 von Electronic Notes in Theoretical Computer Science, Seite 153-174. Elsevier, (2001)