( en | de | ru )

 

Disambiguierung von "Dovier, Agostino"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploring Protein Fragment Assembly Using CLP.

, , , und . IJCAI, Seite 2590-2595. IJCAI/AAAI, (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.

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 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)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)Multiset Constraints and P Systems., , und . WMP, Volume 2235 von Lecture Notes in Computer Science, Seite 103-122. Springer, (2000)Answer Set Programming with Constraints Using Lazy Grounding., , , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 115-129. Springer, (2009)A GPU Implementation of the ASP Computation., , , und . PADL, Volume 9585 von Lecture Notes in Computer Science, Seite 30-47. Springer, (2016)Multivalued Action Languages with Constraints in CLP(FD)., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 255-270. Springer, (2007)Disunification in ACI1 Theories., , und . Constraints An Int. J., 9 (1): 35-91 (2004)Towards a Logic Programming Tool for Cancer Analysis., , und . ICTCS/CILC, Volume 1949 von CEUR Workshop Proceedings, Seite 361-375. CEUR-WS.org, (2017)