Refine your search
We were unable to find exact matches based on your search for "nerode", and "anilmatiyasevich".
Closest match to your search
- Recursion TheoryNerode, Anil

- Hardcover
- Used
Free Shipping - Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, ProceedingsAdian, Sergei; Nerode, Anil (Eds.)

- Softcover
- Used
£ 2.93 shipping - Logic Programming and Non-monotonic Reasoning: Proceedings of the First International WorkshopAnil Nerode, Wiktor Marek and V. S. Subrahmanian (Eds.)

- Softcover
- Used
£ 2.75 shipping - Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)HOMER, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre

- Softcover
- Used
£ 7.00 shipping - Hybrid Systems (Lecture Notes in Computer Science 736)Nerode, Anil; Grossman, Robert L.; Ravn, Anders P. & Rischel, Hans (eds.)

- Softcover
- Used
£ 12.50 shipping