Skip to contents

  6. Apt, Krzysztof R. [Author] ; Wallace, Mark [Other]

    Constraint logic programming using ECLiPSe

    Books
    Close

    Bookmarks

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

    Cambridge [u.a.]: Cambridge Univ. Press, 2007

  11. Seipel, Dietmar [Editor]; Hanus, Michael [Other]; Wolf, Armin [Other] ; Gesellschaft für Logische Programmierung, International Conference on Applications of Declarative Programming and Knowledge Management 17 2007 Würzburg, Workshop on (Constraint) Logic Programming 21 2007 Würzburg

    Applications of declarative programming and knowledge management : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007 ; revised selected papers

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 5437

  12. Umeda, Masanobu [Editor] ; International Conference on Applications of Declarative Programming and Knowledge Management 16 2005 Fukuoka

    Declarative programming for knowledge management : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24 ; revised selected papers

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg: Springer, 2006

    Published in: Lecture notes in computer science ; 4369

  13. Seipel, Dietmar [Editor]; Hanus, Michael [Other]; Geske, Ulrich [Other]; Bartenstein, Oskar [Other] ; International Conference on Applications of Declarative Programming and Knowledge Management 15 2004 Potsdam, Workshop on Logic Programming 18 2004 Potsdam

    Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004 and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4 - 6, 2004 ; revised selected papers

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 3392

  18. Degano, Pierpaolo [Other]; Meseguer, José [Other]; Nicola, Rocco [Other]

    Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5065

  19. Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Hanus, Michael [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

    Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5438

  20. Abreu, Salvador [Author] ; Seipel, Dietmar [Editor]

    Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6547