Zum Inhalt springen

  1. Fagin, Ronald [Sonstige Person, Familie und Körperschaft]

    Reasoning about knowledge - [2. print]

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Mass. [u.a.]: MIT Press, 1996

  2. Fagin, Ronald [VerfasserIn]; Halpern, Joseph Y. [VerfasserIn]; Moses, Yoram [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]

    Reasoning about knowledge - [First MIT Press paperback edition]

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Massachusetts; London, England: MIT Press, 2003

  3. Bense, Hermann [HerausgeberIn]; Bodrow, Wladimir [Sonstige Person, Familie und Körperschaft]

    Objektorientierte und regelbasierte Wissensverarbeitung

    Bücher
    Schließen

    Merkliste

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

    Heidelberg [u.a.]: Spektrum, Akad. Verl., 1995

    Erschienen in: Angewandte Informatik

  4. Schnupp, Peter [VerfasserIn]; Nguyen-huu-chau-Thuy [VerfasserIn]; Nguyen Huu, Chau Thuy [VerfasserIn]

    Expertensystem-Praktikum

    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, 1987

    Erschienen in: Springer compass

  5. Fagin, Ronald [Sonstige Person, Familie und Körperschaft]

    Reasoning about knowledge

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Mass. [u.a.]: MIT Press, 1995

  6. Aleksander, Igor [VerfasserIn]; Farreny, Henri [VerfasserIn]; Ghallab, Malik [VerfasserIn]

    Decision and intelligence

    Bücher
    Schließen

    Merkliste

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

    London: Kogan Page, 1986

    Erschienen in: Robot technology ; 6

  7. Seipel, Dietmar [HerausgeberIn]; Hanus, Michael [Sonstige Person, Familie und Körperschaft]; Wolf, Armin [Sonstige Person, Familie und Körperschaft] ; 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

    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, 2009

    Erschienen in: Lecture notes in computer science ; 5437