It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 29, 2008 | History
Edit

Anil Nerode

We need a photo of Anil Nerode

Born 1932

10 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

    First published in 1993 — 3 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science)

    First published in 1992 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop

    First published in 1991 — 2 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logic for applications

    First published in 1993 — 2 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic (PCS))

    First published in 1993 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logical methods: in honor of Anil Nerode's sixtieth birthday

    First published in 1993 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)

    First published in 1994 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)

    First published in 1992 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))

    First published in 2001 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Logical foundations of computer science: third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

    First published in 1994 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Anil Nerode

Born 1932

Subjects

Logic programming, Symbolic and mathematical Logic, Congresses, Logic, symbolic and mathematical, Computer science, Computers, congresses, Electronic data processing, Logisch programmeren, Logische Programmierung, Nichtmonotones Schlie©en, Nonmonotonic reasoning, Reasoning, Artificial intelligence, Computer science, mathematics, Computers, Congre s., Kongress, Kongre©, Logic, Symbolic and mathematical, Machine theory, Mathematics, Nichtmonotone Logik, Parallel programming (computer science), Programmation logique, Raisonnement

People

Anil Nerode (1932-)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL542146A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 29, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import