Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Logic for applications by Anil Nerode and Richard A. Shore by
  • Nerode, Anil
  • Shore, Richard A
Series: Graduate texts in computer science
Edition: 2nd ed.
Material type: Text Book
Publication details: New York Springer Verlag 1997
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1015113 N97.

Place hold
2.
Recursion Theory Proceedings ed by Anil Nerode by
  • AMS-ASL Summer Institute on Recursion Theory (New York 1982)
  • Nerode, Anil., ed
  • Shore, Richard A., ed
Series: Proceedings of Symposia in Pure Mathematics ; V.42
Material type: Text Book
Publication details: USA AMS 1985
Availability: Items available for loan: Mathematics (1)Call number: 511.35 N85 (MA).

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832

Powered by Koha