Optimieren Sie Ihre Suche
Keine genauen Treffer für Ihre Suche nach "nerode", und "anilmatiyasevich".
Ähnliche Treffer für Ihre Suche
- Logic for Applications (Texts in Computer Science)Nerode, Anil; Shore, Richard A.
- Hardcover
- Gebraucht
Versand gratis - Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, ProceedingsAdian, Sergei; Nerode, Anil (Eds.)
- Softcover
- Gebraucht
EUR 3,55 Versand - Logic Programming and Non-monotonic Reasoning: Proceedings of the First International WorkshopAnil Nerode, Wiktor Marek and V. S. Subrahmanian (Eds.)
- Softcover
- Gebraucht
EUR 3,33 Versand - 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
- Gebraucht
EUR 8,24 Versand - Hybrid Systems (Lecture Notes in Computer Science 736)Nerode, Anil; Grossman, Robert L.; Ravn, Anders P. & Rischel, Hans (eds.)
- Softcover
- Gebraucht
EUR 14,71 Versand
