1.
 |  | Title: Logic For Applications
by Anil Nerode, Richard Shore
ISBN: 0387948937
Publisher: Springer-Verlag
Pub. Date: 01 February, 1997
List Price: $69.95
Amazon.com Price: $62.26 |
2.
|  | Title: Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop
by Anil Nerode, Wiktor Marek, V.S. Subrahmanian
ISBN: 0262640279
Publisher: MIT Press
Pub. Date: 01 September, 1991
List Price: $32.50
Amazon.com Price: $32.50 |
3.
|  | Title: Automata Theory and Its Applications (Progress in Computer Science, 21)
by Bakhadyr Khoussainov, Anil Nerode
ISBN: 0817642072
Publisher: Birkhauser Boston
Pub. Date: 15 February, 2001
List Price: $77.95
Amazon.com Price: $77.95 |
4.
|  | Title: Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993
by Luis Moniz Pereira, Anil Nerode
ISBN: 0262660830
Publisher: MIT Press
Pub. Date: 24 May, 1993
List Price: $90.00
Amazon.com Price: $90.00 |
5.
|  | Title: Hybrid Systems (LECTURE NOTES IN COMPUTER SCIENCE)
by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
ISBN: 0387573186
Publisher: Springer-Verlag
Pub. Date: 01 October, 1993
List Price: $71.95
Amazon.com Price: $71.95 |
6.
|  | Title: Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995 : Proceedings (Lect Notes/Artificial Intelligence)
by Lpnmr '9, A. Nerode, M. Truszczynski, V.W. Marek, V. W. Marek, Anil Nerode, Mirosaw Truszczynski
ISBN: 0387594876
Publisher: Springer-Verlag Telos
Pub. Date: 01 June, 1995
List Price: $68.00
Amazon.com Price: $68.00 |
7.
|  | Title: Recursion Theory (Proceedings of Symposia in Pure Mathematics, Vol 42)
by Anil Nerode, Richard A. Shore
ISBN: 0821814478
Publisher: Amer Mathematical Society
Pub. Date: 01 May, 1985
List Price: $65.00
Amazon.com Price: $65.00 |
8.
|  | Title: Logical Foundations of Computer Science: 4th International Symposium, Lfcs 97, Yaroslavl, Russia, July 1997 : Proceedings (Lecture Notes in Computer Science, 1234)
by Russia Lfcs 9 1997 Yaroslavl, S. I. Adian, Anil Nerode
ISBN: 3540630457
Publisher: Springer-Verlag
Pub. Date: 01 June, 1997
List Price: $88.95
Amazon.com Price: $88.95 |
9.
|  | Title: Hybrid Systems V (Lecture Notes in Computer Science, 1567)
by Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, Shankar Sastry
ISBN: 354065643X
Publisher: Springer-Verlag Telos
Pub. Date: 01 June, 1999
List Price: $95.00
Amazon.com Price: $95.00 |
10.
|  | Title: Logic Programming and Nonmonotonic Reasoning: 4th International Conference, Lpnmr '97, Dagstuhl Castle, Germany, July 1997 : Proceedings (Lecture Notes in Computer Science, 1265)
by Lpnmr '9, J. Dix, Ulrich Fuhrbach, Anil Nerode
ISBN: 3540632557
Publisher: Springer-Verlag
Pub. Date: 01 June, 1997
List Price: $91.00
Amazon.com Price: $91.00 |
