Skip to contents

  1. Beckstein, Clemens [Editor] ; Gesellschaft für Informatik Fachgruppe Deklarative KI-Programmierung, Fachtagung für Künstliche Intelligenz 18 1994 Saarbrücken, KI 18 1994 Saarbrücken

    Entwicklung, Test und Wartung deklarativer KI-Programme : Workshop zur 18. Jahrestagung für Künstliche Intelligenz, Saarbrücken, 19.-20.9.1994

    Books
    Close

    Bookmarks

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

    Sankt Augustin: GMD, 1994

    Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 23800

  2. Gabbay, Dov M. [Editor]

    Handbook of logic in artificial intelligence and logic programming

    Books
    Close

    Bookmarks

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

    Oxford [u.a.]: Clarendon Press, 19XX-

    Published in: Handbooks of logic in computer science and artificial intelligence and logic programming- Oxford science publications

  3. 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