1.
 |  | 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: August, 1997
List Price: $91.00
Amazon.com Price: $91.00 |
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: 15 July, 1991
List Price: $32.50
Amazon.com Price: $32.50 |
3.
|  | 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
Pub. Date: June, 1999
List Price: $95.00
Amazon.com Price: $95.00 |
4.
|  | Title: Logic for Applications (Texts and Monographs in Computer Science)
by A. Nerode, R. Shore
ISBN: 3540941290
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Pub. Date: 30 September, 1993
|
5.
|  | Title: Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes)
by Yu. V. Matiyasevich, Anil Nerode
ISBN: 0387581405
Publisher: Springer Verlag
Pub. Date: July, 1994
List Price: $66.95
Amazon.com Price: $66.95 |
6.
|  | Title: Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993
by Luís Moniz Pereira, Anil Nerode
ISBN: 0262660830
Publisher: MIT Press
Pub. Date: 24 May, 1993
List Price: $90.00
Amazon.com Price: $90.00 |
7.
|  | Title: Principles of Logic and Logic Programming
by George Metakides, Anil Nerode, A. Sinachopoulos
ISBN: 0444816445
Publisher: North-Holland
Pub. Date: 01 June, 1996
List Price: $150.00
Amazon.com Price: $150.00 |
8.
|  | Title: Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992: Proceedings (Lecture Notes in Co)
by M. Taitslin, Anil Nerode
ISBN: 0387557075
Publisher: Springer Verlag
Pub. Date: July, 1992
List Price: $99.00
Amazon.com Price: $99.00 |
9.
|  | Title: Recursion Theory (Proceedings of Symposia in Pure Mathematics, Vol 42)
by Anil Nerode, Richard A. Shore
ISBN: 0821814478
Publisher: American Mathematical Society
Pub. Date: May, 1985
List Price: $65.00
Amazon.com Price: $65.00 |
10.
|  | Title: Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic, Vol 12)
by John N. Crossley, Jeffrey B. Remmel, Anil Nerode
ISBN: 0817636900
Publisher: Birkhauser Boston
Pub. Date: 20 December, 1993
List Price: $185.00
Amazon.com Price: $185.00 |
