Skip to contents

  1. Vermeir, Dirk [Author]

    Multi-paradigm programming using C++

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    London; Berlin; Heidelberg [u.a.]: Springer, c 2001

  2. Bauters, Kim [Author]; Janssen, Jeroen [Author]; Schockaert, Steven [Author]; Vermeir, Dirk [Author]; De Cock, Martine [Author] ; Kim Bauters and Jeroen Janssen and Steven Schockaert and Dirk Vermeir and Martine De Cock [Contributor]

    Communicating Answer Set Programs

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  3. Fayruzov, Timur [Author]; Janssen, Jeroen [Author]; Vermeir, Dirk [Author]; Cornelis, Chris [Author]; De Cock, Martine [Author] ; Timur Fayruzov and Jeroen Janssen and Dirk Vermeir and Chris Cornelis and Martine De Cock [Contributor]

    Efficient Solving of Time-dependent Answer Set Programs

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  4. De Vos, Marina; Vermeir, Dirk

    FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: Dynamically Ordered Probabilistic Choice Logic Programming

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2000

    Published in: FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science