Zum Inhalt springen

  1. Rossi, Francesca [HerausgeberIn]; Beek, Peter van [Sonstige Person, Familie und Körperschaft]; Walsh, Toby [Sonstige Person, Familie und Körperschaft]

    Handbook of constraint programming - [1. ed.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: Elsevier, 2006

    Erschienen in: Foundations of artificial intelligence

  2. Marques-Silva, João [HerausgeberIn]; Sakallah, Karem A. [Sonstige Person, Familie und Körperschaft] ; SAT 10 2007 Lissabon

    Theory and applications of satisfiability testing - SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4501

  3. Frühwirth, Thom [VerfasserIn]; Abdennadher, Slim [VerfasserIn]

    Essentials of constraint programming : with 27 figures

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2003

    Erschienen in: Cognitive technologies

  4. Baptiste, Philippe [VerfasserIn]; Le Pape, Claude [VerfasserIn]; Nuijten, Wilhelmus P. [VerfasserIn] ; Nuijten, Wim [Sonstige Person, Familie und Körperschaft]

    Constraint-based scheduling : applying constraint programming to scheduling problems

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston [u.a.]: Kluwer, 2001

    Erschienen in: International series in operations research & management science ; 3900

  5. Geske, Ulrich [HerausgeberIn] ; Gesellschaft für Informatik Fachgruppe Deklarative KI-Programmierung, Deutsche Jahrestagung für Künstliche Intelligenz 20 1996 Dresden, Workshop Deklarative Constraint-Programmierung 1996 Dresden

    Deklarative Constraint-Programmierung : Workshop der FG 1.1.1 der GI zur KI-96, Dresden, 18. - 19. September 1996

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996

    Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 297