Zum Inhalt springen

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

  5. Dix, Jürgen [HerausgeberIn] ; LPKR 3 1997 Port Jefferson, NY

    Logic programming and knowledge representation : third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997; 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; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1998

    Erschienen in: Lecture notes in computer science ; 1471

  9. Balduccini, Marcello [HerausgeberIn]; Gelfond, Michael [GefeierteR]; Son, Tran Cao [Sonstige Person, Familie und Körperschaft]

    Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday

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

    Erschienen in: Lecture notes in computer science ; 6565

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

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

  15. Delgrande, James P. [HerausgeberIn]; Faber, Wolfgang [Sonstige Person, Familie und Körperschaft] ; LPNMR 11 2011 Vancouver, British Columbia

    Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 6645

  16. Rudolph, Sebastian [Sonstige Person, Familie und Körperschaft]; Gutiérrez, Claudio [Sonstige Person, Familie und Körperschaft] ; RR 5 2011 Galway

    Web resoning and rule systems : 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 6902

  19. Alferes, José Júlio [VerfasserIn] ; Pereira, Luís Moniz [Sonstige Person, Familie und Körperschaft]

    Reasoning with Logic Programming

    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: Springer Berlin Heidelberg, 1996

    Erschienen in: Lecture notes in computer science ; 1111

  20. Dix, Jürgen [VerfasserIn] ; Pereira, Luís Moniz [Sonstige Person, Familie und Körperschaft]; Przymusinski, Teodor C. [Sonstige Person, Familie und Körperschaft]

    Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

    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: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1471