Zum Inhalt springen

  1. Blockeel, Hendrik [HerausgeberIn]; Ramon, Jan [Sonstige Person, Familie und Körperschaft]; Shavlik, Jude [Sonstige Person, Familie und Körperschaft]; Tadepalli, Prasad [Sonstige Person, Familie und Körperschaft] ; ILP 17 2007 Corvallis, Or

    Inductive logic programming : 17th international conference, ILP 2007, Corvallis, OR, USA, June 19 - 21, 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, 2008

    Erschienen in: Lecture notes in computer science ; 4894

  3. Boulanger, Dimitri [HerausgeberIn]; Boulanger, Dmitri [HerausgeberIn] ; Workshop on Deductive Databases and Logic Programming 4 1996 Bonn, JICSLP 1996 Bonn

    Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming : 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996

    Bücher
    Schließen

    Merkliste

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

    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996

    Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 295

  8. Clarke, Edmund M. [HerausgeberIn]; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft] ; LPAR 16 2010 Dakar

    Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6355

  9. Fermüller, Christian G. [HerausgeberIn]; 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
    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

  10. Erdem, Esra [HerausgeberIn]; Lin, Fangzhen [Sonstige Person, Familie und Körperschaft]; Schaub, Torsten [Sonstige Person, Familie und Körperschaft] ; LPNMR 10 2009 Potsdam

    Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 ; proceedings

    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 ; 5753

  11. Hermann, Miki [HerausgeberIn]; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft] ; LPAR 13 2006 Phnom Penh

    Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13 - 17, 2006 ; proceedings

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

    Erschienen in: Lecture notes in computer science ; 4246

  12. Dershowitz, Nachum [HerausgeberIn]; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft] ; LPAR 14 2007 Jerewan

    Logic for programming artificial intelligence and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 ; proceedings

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

    Erschienen in: Lecture notes in computer science ; 4790

  13. Cervesato, Iliano [HerausgeberIn]; Veith, Helmut [Sonstige Person, Familie und Körperschaft]; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft] ; LPAR 15 2008 Doha

    Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings

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

    Erschienen in: Lecture notes in computer science ; 5330

  14. Baral, Chitta [HerausgeberIn]; Brewka, Gerhard [Sonstige Person, Familie und Körperschaft]; Schlipf, John [Sonstige Person, Familie und Körperschaft] ; LPNMR 9 2007 Tempe, Ariz

    Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007 ; proceedings

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

    Erschienen in: Lecture notes in computer science ; 4483

  19. Baral, Chitta [HerausgeberIn]; Greco, Gianluigi [Sonstige Person, Familie und Körperschaft]; Leone, Nicola [Sonstige Person, Familie und Körperschaft]; Terracina, Giorgio [Sonstige Person, Familie und Körperschaft] ; LPNMR 8 2005 Diamante, Calabria

    Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 ; proceedings

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

    Erschienen in: Lecture notes in computer science ; 3662