( en | de | ru )

 

Disambiguierung von "Deville, Yves"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Logic Program Synthesis from Incomplete Specifications.

, und . J. Symb. Comput., 15 (5/6): 778-805 (1993)

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.

Julie Devillé

Romain Deville

Rainer Deville

Volker Deville

Yves Robert

 

Weitere Publikationen von Autoren mit dem selben Namen

Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5.. Theory Pract. Log. Program., 5 (4-5): 595-600 (2005)Traffic Engineering for Multiple Spanning Tree Protocol in Large Data Centers, , , und . Seite 1-8. (2011)Group Kernels for Gaussian Process Metamodels with Categorical Inputs., , , , , , und . SIAM/ASA J. Uncertain. Quantification, 8 (2): 775-806 (2020)Logic Program Synthesis., und . J. Log. Program., (1994)Integrative machine learning approach for multi-class SCOP protein fold classification., , und . German Conference on Bioinformatics, Seite 153-159. (2003)Numerica - A Modeling Language for Global Optimization., , und . MIT Press, (1997)Heuristic methods for the Traveling Salesman Problem with Drone., , , und . CoRR, (2015)The Static and Stochastic VRPTW with both random Customers and Reveal Times: algorithms and recourse strategies., , und . CoRR, (2017)The Cardinality Operator: A New Logical Connective for Constraint Logic Programming., und . WCLP, Seite 283-403. MIT Press, (1991)Constraint Satisfaction over Connected Row Convex Constraints., , und . IJCAI (1), Seite 405-411. Morgan Kaufmann, (1997)