Zum Inhalt springen

  1. Nerode, Anil [VerfasserIn]; Shore, Richard A. [VerfasserIn]

    Logic for applications - [2. ed.]

    Bücher
    Schließen

    Merkliste

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

    New York; Heidelberg [u.a.]: Springer, 1997

    Erschienen in: Graduate texts in computer science

  2. Artemov, Sergei [Sonstige Person, Familie und Körperschaft]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Artemov, Sergej N. [HerausgeberIn]; Nerode, Anil [HerausgeberIn] ; LFCS 2009 Deerfield Beach, Fla

    Logical foundations of computer science : international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 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 ; 5407

  3. Marek, Victor W. [HerausgeberIn]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Truszczyński, Mirosław [Sonstige Person, Familie und Körperschaft] ; LPNMR 3 1995 Lexington-Fayette, Ky

    Logic programming and nonmonotonic reasoning : third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995; 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 [u.a.]: Springer, 1995

    Erschienen in: Lecture notes in computer science ; 928

  4. Nerode, Anil [VerfasserIn] ; Matiyasevich, Yu.V [Sonstige Person, Familie und Körperschaft]

    Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

    Bücher
    Online ansehen
    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, 1994

    Erschienen in: Lecture notes in computer science ; 813

  5. Nerode, Anil [VerfasserIn] ; Taitslin, Mikhail [Sonstige Person, Familie und Körperschaft]

    Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

    Bücher
    Online ansehen
    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, 1992

    Erschienen in: Lecture notes in computer science ; 620

  6. Artemov, Sergei [VerfasserIn] ; Nerode, Anil [Sonstige Person, Familie und Körperschaft]

    Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 7734

  7. Adjan, Sergej I. [VerfasserIn] ; Nerode, Anil [Sonstige Person, Familie und Körperschaft]

    Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

    Bücher
    Online ansehen
    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, 1997

    Erschienen in: Lecture notes in computer science ; 1234

  8. Nerode, Anil [Sonstige Person, Familie und Körperschaft] ; LFCS 3 1994 Sankt Petersburg

    Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 1994 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 81300

  9. Nerode, Anil [Sonstige Person, Familie und Körperschaft]

    Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20 - 24, 1992 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 1992 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 62000

  10. Crossley, John N. [VerfasserIn] ; Nerode, Anil [Sonstige Person, Familie und Körperschaft]

    Combinatorial Functors

    Bücher
    Online ansehen
    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, 1974

    Erschienen in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 81- Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, A Series of Modern Surveys in Mathematics ; 81- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  11. Artemov, Sergei [HerausgeberIn]; Nerode, Anil [HerausgeberIn]

    Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Theoretical Computer Science and General Issues ; 13137- Springer eBook Collection

  12. Artemov, Sergei [HerausgeberIn]; Nerode, Anil [HerausgeberIn]

    Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cham: Springer, 2018

    Erschienen in: Lecture notes in computer science ; 10703