( en | de | ru )

 

Disambiguierung von "Dovier, Agostino"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Set domains for structural properties of terms.

, und . APPIA-GULP-PRODE, Seite 93-104. (1997)

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.

Agostino Mazziotta

Agostino Sottili

Agostino Portera

Mario Agostino Rocca

Giuseppe Agostino Aronica

 

Weitere Publikationen von Autoren mit dem selben Namen

A necessary condition for Constructive Negation in Constraint Logic Programming., , und . Inf. Process. Lett., 74 (3-4): 147-156 (2000)A Fast Bisimulation Algorithm., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 79-90. Springer, (2001)A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints., , , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 850-866. Springer, (2012)A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem., , und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 48-63. Springer, (2005)Constraint Propagation on GPU: A Case Study for the Cumulative Constraint., , , , und . CPAIOR, Volume 13884 von Lecture Notes in Computer Science, Seite 336-353. Springer, (2023)3coSoKu and its Logic Programming Modeling., und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 5-20. CEUR-WS.org, (2020)Non-Well-Founded Set Based Multi-Agent Epistemic Action Language., , , und . CILC, Volume 2396 von CEUR Workshop Proceedings, Seite 242-259. CEUR-WS.org, (2019)2D object reconstruction with ASP., , und . CILC, Volume 2214 von CEUR Workshop Proceedings, Seite 132-146. CEUR-WS.org, (2018)CLP-based Protein Fragment Assembly., , , und . CILC, Volume 598 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Modeling and Solving the Rush Hour puzzle., , und . CILC, Volume 3204 von CEUR Workshop Proceedings, Seite 294-306. CEUR-WS.org, (2022)