Zum Inhalt springen

  3. Gabbay, Dov M. [Herausgeber:in]

    Handbook of logic in artificial intelligence and logic programming

    Bücher
    Schließen

    Merkliste

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

    Oxford [u.a.]: Clarendon Press, 1993-2002

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

  7. Baldoni, Matteo [Herausgeber:in] ; DALT 5 2007 Honolulu, Hawaii

    Declarative agent languages and technologies / 5, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14 2007 : revised selected and invited papers / Matteo Baldoni ... (eds.)

    Bücher
    Online ansehen
    Schließen
    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, 2008

    Erschienen in: Declarative agent languages and technologies ; 5 - Lecture notes in computer science ; 4897

  8. Baldoni, Matteo [Herausgeber:in] ; DALT 3 2005 Utrecht

    Declarative agent languages and technologies / 3, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers / Matteo Baldoni ... (eds.)

    Bücher
    Online ansehen
    Schließen
    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, 2006

    Erschienen in: Declarative agent languages and technologies ; 3 - Lecture notes in computer science ; 3904

  12. Janhunen, Tomi [Herausgeber:in]; Niemelä, Ilkka [Sonstige Person, Familie und Körperschaft] ; JELIA 12 2010 Helsinki

    Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6341

  14. Demoen, Bart [Herausgeber:in]; Lifschitz, Vladimir [Sonstige Person, Familie und Körperschaft] ; ICLP 20 2004 Saint-Malo

    Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6 - 10, 2004 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2004

    Erschienen in: Lecture notes in computer science ; 3132

  15. Bento, Carlos [Herausgeber:in] ; Portuguese Conference on Artificial Intelligence 12 2005 Covilhã

    Progress in artificial intelligence : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2005

    Erschienen in: Lecture notes in computer science ; 3808

  16. Moura Pires, Fernando [Herausgeber:in]; Pires, Fernando Moura [Herausgeber:in] ; Portuguese Conference on Artificial Intelligence 11 2003 Beja

    Progress in artificial intelligence : 11th Portuguese Conference on Artificial Intelligence, EPIA 2011, Beja, Portugal, December 4-7, 2003 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2003

    Erschienen in: Lecture notes in computer science ; 2902

  17. Brazdil, Pavel B. [Herausgeber:in] ; Portuguese Conference on Artificial Intelligence 10 2001 Porto

    Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming and constraint solving ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2001

    Erschienen in: Lecture notes in computer science ; 2258

  19. Fermüller, Christian G. [Herausgeber:in]; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft] ; LPAR 17 2010 Yogyakarta

    Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6397

  20. Baldoni, Matteo [Herausgeber:in] ; DALT 6 2008 Estoril

    Declarative agent languages and technologies / 6, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12; revised selected and invited papers / Matteo Baldoni ... (eds.)

    Bücher
    Online ansehen
    Schließen
    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: Declarative agent languages and technologies ; 6 - Lecture notes in computer science ; 5397