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

Anil Nerode

1932 -

10 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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 in 1 language — 1 previewable
    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 in 1 language
    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 in 1 language — 1 previewable
    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 in 1 language — 1 previewable
    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 for applications

    First published in 1993 2 editions in 1 language — 1 previewable
    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: third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

    First published in 1994 1 edition in 1 language — 1 previewable
    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 in 1 language — 1 previewable
    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 in 1 language
    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 in 1 language
    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 in 1 language
    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
Subjects
Logic programming, Logic, symbolic and mathematical, Symbolic and mathematical Logic, Congresses, Computer science, Computers, congresses, Electronic data processing, Logisch programmeren, Logische Programmierung, Nichtmonotones Schlie©en, Nonmonotonic reasoning, Artificial intelligence, Computer science, mathematics, Computers, Congre s., Kongress, Kongre©, Logic, Symbolic and mathematical, Machine theory, Mathematics, Nichtmonotone Logik, Programmation logique, Raisonnement, Reasoning, Schlussfolgern
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