Zum Inhalt springen

  1. Flener, Pierre [VerfasserIn]

    Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

    Erschienen in: Lecture notes in computer science ; 1559

  2. Flener, Pierre

    Computer and Information Sciences – ISCIS 2006: Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2006

    Erschienen in: Computer and Information Sciences – ISCIS 2006

  3. Flener, Pierre; Deville, Yves

    Logic Program Synthesis and Transformation: Logic program transformation through generalization schemata [extended abstract]

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 1996

    Erschienen in: Logic Program Synthesis and Transformation

  4. Flener, Pierre; Popelínský, Lubos

    Logic Program Synthesis and Transformation — Meta-Programming in Logic: On the use of inductive reasoning in program synthesis: Prejudice and prospects

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 1994

    Erschienen in: Logic Program Synthesis and Transformation — Meta-Programming in Logic

  5. Björdal, Gustav; Flener, Pierre; Pearson, Justin

    Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Generating Compound Moves in Local Search by Hybridisation with Complete Search

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2019

    Erschienen in: Integration of Constraint Programming, Artificial Intelligence, and Operations Research

  6. Scott, Joseph D.; Flener, Pierre; Pearson, Justin

    Integration of AI and OR Techniques in Constraint Programming: Constraint Solving on Bounded String Variables

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2015

    Erschienen in: Integration of AI and OR Techniques in Constraint Programming

  7. Monette, Jean-Noël; Flener, Pierre; Pearson, Justin

    Lecture Notes in Computer Science: Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2015

    Erschienen in: Lecture Notes in Computer Science