Showing 1 - 6 results of 6 for search 'Nerode, Anil, 1932-', query time: 0.01s Refine Results
  1. 1
    Logic for applications

    Logic for applications by Nerode, Anil, 1932-

    Published 1997
    Book
    Save to List
    Saved in:
  2. 2
    Logic for applications

    Logic for applications by Nerode, Anil, 1932-

    Published 1993
    Book
    Save to List
    Saved in:
  3. 3
    Logic programming and non-monotonic reasoning :

    Logic programming and non-monotonic reasoning :

    Published 1993
    Other Authors:
    Book
    Save to List
    Saved in:
  4. 4
    Logic programming and non-monotonic reasoning :

    Logic programming and non-monotonic reasoning :

    Published 1991
    Other Authors: “…Nerode, Anil, 1932-…”
    Book
    Save to List
    Saved in:
  5. 5
    Recursion theory

    Recursion theory

    Published 1985
    Other Authors: “…Nerode, Anil, 1932-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  6. 6
    Logic programming and nonmonotonic reasoning :

    Logic programming and nonmonotonic reasoning :

    Published 1997
    Other Authors:
    Book
    Save to List
    Saved in:

Search Tools: