Anil Nerode

Anil Nerode, 2007 mini|Anil Nerode, 2007 Anil Nerode (* 4. Juni 1932 in Los Angeles) ist ein US-amerikanischer mathematischer Logiker und Mathematiker. Veröffentlicht in Wikipedia
Treffer 1 – 18 von 18 für Suche 'Nerode, Anil', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Algebraic Curves and Riemann Surfaces for Undergraduates The Theory of the Donut

    Algebraic Curves and Riemann Surfaces for Undergraduates The Theory of the Donut von Nerode, Anil, Greenberg, Noam

    Veröffentlicht 2022
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Automata theory and its applications

    Automata theory and its applications von Khoussainov, Bakhadyr 1961-, Nerode, Anil 1932-

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Logic for applications

    Logic for applications von Nerode, Anil 1932-, Shore, Richard A.

    Veröffentlicht 1997
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Combinatorical functors

    Combinatorical functors von Crossley, John N., Nerode, Anil 1932-

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Logic for applications

    Logic for applications von Nerode, Anil 1932-, Shore, Richard A.

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Principles of logic and logic programming

    Principles of logic and logic programming von Metakides, George, Nerode, Anil 1932-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Lectures on intuitionistic logic [working material for the lectures of A. Nerode, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]

    Lectures on intuitionistic logic [working material for the lectures of A. Nerode, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - A... von Nerode, Anil 1932-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Combinatorial functors

    Combinatorial functors von Crossley, John N., Nerode, Anil 1932-

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Lectures on intuitionistic logic [working material for the lectures of A. Nerode, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]

    Lectures on intuitionistic logic [working material for the lectures of A. Nerode, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - A... von Nerode, Anil 1932-

    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Logic for applications

    Logic for applications von Nerode, Anil 1932-, Shore, Richard A.

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Some lectures on modal logic [working material for the lectures of A. Nerode: Some lectures on modal logic, suppl., International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]

    Some lectures on modal logic [working material for the lectures of A. Nerode: Some lectures on modal logic, suppl., International Summer School on Logic, Algebra and Computation, M... von Nerode, Anil 1932-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Logical foundations of computer science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018 : proceedings

    Logical foundations of computer science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  13. 13
    Logical foundations of computer science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020 : proceedings

    Logical foundations of computer science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  14. 14
    Logical foundations of computer science international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, proceedings

    Logical foundations of computer science international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Logical foundations of computer science international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings

    Logical foundations of computer science international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Logical foundations of computer science international symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020 : proceedings

    Logical foundations of computer science international symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Logical foundations of computer science international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings

    Logical foundations of computer science international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings

    Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser:
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: