Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings: 620 (Lecture Notes in Computer Science)
by Anil Nerode,Mikhail Taitslin
ISBN 13: 9783540557074
Format: Illustrated (528 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings: 928 (Lecture Notes in Computer Science)
by Anil Nerode,Miroslaw Truszcynski,V. Wiktor Marek
ISBN 13: 9783540594871
Format: Paperback (436 pages) Publisher: Springer Published: 13 Jun 2008
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science)
by Anil Nerode,Yu.V. Matiyasevich
ISBN 13: 9783540581406
Format: Paperback (408 pages) Publisher: Springer Published: 13 Jun 2008
Automata Theory and its Applications (Progress in Computer Science and Applied Logic): 21
by Bakhadyr Khoussainov,Anil Nerode
ISBN 13: 9781461266457
Format: Illustrated (446 pages) Publisher: Birkhäuser Published: 01 Nov 2012
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings: 11972 (Lecture Notes in Computer Science)
by Sergei Artemov,Anil Nerode
ISBN 13: 9783030367541
Format: Paperback (300 pages) Publisher: Springer Published: 14 Dec 2019
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings: 13137 (Lecture Notes in Computer Science, 13137)
ISBN 13: 9783030930998
Format: Paperback (387 pages) Publisher: Springer Published: 17 Dec 2021