Refine your search
We were unable to find exact matches based on your search for "nerode", and "anilmatiyasevich".
Closest match to your search
- Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, ProceedingsAdian, Sergei; Nerode, Anil (Eds.)
- Softcover
- Used
US$ 4.00 shipping - Logic Programming and Non-monotonic Reasoning: Proceedings of the First International WorkshopAnil Nerode, Wiktor Marek and V. S. Subrahmanian (Eds.)
- Softcover
- Used
US$ 3.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
US$ 9.48 shipping - Hybrid Systems (Lecture Notes in Computer Science 736)Nerode, Anil; Grossman, Robert L.; Ravn, Anders P. & Rischel, Hans (eds.)
- Softcover
- Used
US$ 16.92 shipping - Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28 1995 Proceedings (Lecture Notes in Artificial Intelligence 928)Marek, V & Nerode, A
- Softcover
- Used
US$ 16.92 shipping
