Suchergebnisse - Nerode, Anil 1932-

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 – 17 von 17
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Logic programming and non-monotonic reasoning: proceedings of the second international workshop

    Veröffentlicht 1993
    Weitere beteiligte Personen: “… Nerode, Anil 1932- …”
    Online lesen
    E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1997
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    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]
    von Nerode, Anil 1932-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    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]
    Band 2. (1989). - 56 S.
    von Nerode, Anil 1932-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    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]
    von Nerode, Anil 1932-

    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Nerode, Anil 1932- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Nerode, Anil 1932- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Nerode, Anil 1932- …”
    Tagungsbericht Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Nerode, Anil 1932- …”
    Online lesen
    Tagungsbericht Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Nerode, Anil 1932- …”
    Tagungsbericht Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Nerode, Anil 1932- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: