Sell, buy or rent A. Nerode textbooks

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings (Lecture Notes in Computer Science, 928)

by A. Nerode, M. Truszczynski, V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
ISBN-13: 9783540594871
ISBN-10: 3540594876
Edition: 1995
Publisher: Springer
Format: Paperback 424 pages

Principles of Logic and Logic Programming (Volume 13) (Studies in Computer Science and Artificial Intelligence, Volume 13)

by G. Metakides, A. Nerode
ISBN-13: 9780444816443
ISBN-10: 0444816445
Publication date: 1996
Publisher: North Holland
Format: Hardcover 328 pages