Start Over
You searched for: author_facet Nerode, Anil

Search Results

Cover image for Logical foundations of computer science

Logical foundations of computer science

Location Call # Status
Joyner - General Stacks QA75.5 .L43 1997 ✔ Available
Cover image for Principles of logic and logic programming

Principles of logic and logic programming

Location
Access Content Online
Cover image for Logic programming and nonmonotonic reasoning

Logic programming and nonmonotonic reasoning

Location
Access Content Online
Cover image for Logic programming and nonmonotonic reasoning

Logic programming and nonmonotonic reasoning

Location Call # Status
Joyner - General Stacks QA76.63 .L74 1995 ✔ Available
Cover image for Logical foundations of computer science

Logical foundations of computer science

  • 1994
  • Format: Electronic
Location
Access Content Online
Cover image for Logical foundations of computer science

Logical foundations of computer science

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA75.5 .L64 1994 ✔ Available
Cover image for Logic for applications

Logic for applications

Location Call # Status
Joyner - General Stacks QA76.63 .N45 1993 ✔ Available
Cover image for Logic programming and non-monotonic reasoning

Logic programming and non-monotonic reasoning

  • 1993
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63 .L6323 1993 ✔ Available
Cover image for Logic programming and non-monotonic reasoning

Logic programming and non-monotonic reasoning

  • 1993
  • Format: Electronic
Location
Access Content Online
Cover image for Logical foundations of computer science--Tver '92

Logical foundations of computer science--Tver '92

  • 1992
  • Format: Electronic
Location
Access Content Online