Nerode Anil Eds (4 results)
- Softcover
Seller: George Cross Books, Lexington, MA, U.S.A.George Cross Books
Contact seller5-star sellerAssociation member: IOBA
Condition: Used
US$ 18.00
US$ 4.00 shippingShips within U.S.A.Quantity: 1 available
Paperback. Reprint edition. Very Good/Wraps (34601) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 1234 This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia,…in July 1997. The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community. 431.
- Softcover
Seller: Canal Bookyard, Upper Black Eddy, PA, U.S.A.Canal Bookyard
Contact seller5-star sellerCondition: Used - Very good
US$ 20.00
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
Trade Paperback. Condition: Very Good. No Jacket. Purple and black titles on pale green and pink trade paper covers, 288 pages. Contributors include: J. J. Alferes, J. N. Aparicio, C. Baral, P. Bonatti, G. Brewka, J. Dix, P. M. Dung, P. Geerts, M. Gelfond, A. Kakas, L.T. McCarty, M. Maher, D. Makinson, P. Mancarella, W. Marek, L…. M. Pereira, S. G. Pimentel, H. Przymusinska, T. Przymusinski, W. L. Rodi, P. Ruamviboonsuk, D. Sacca, K. Schlechta, J. S. Schlipf, G. Schwarz, V. S. Subrahmanian, M. Truszczynski, D. Vermeir and C. Zaniolo.
Hybrid Systems (Lecture Notes in Computer Science 736)
Nerode, Anil; Grossman, Robert L.; Ravn, Anders P. & Rischel, Hans (eds.)
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
US$ 9.40
US$ 17.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Dust Jacket. Lecture Notes in Computer Science 736; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound…, clean book with tight binding. ADG. Ex-Library.
- Softcover
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, NetherlandsKloof Booksellers & Scientia Verlag
Contact seller4-star sellerCondition: Used - As new
US$ 20.35
US$ 34.96 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: as new. Cambridge, MA: The MIT Press, 1991. Paperback. 301 pp.The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic a…s a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. English text. Condition : as new. Condition : as new copy. ISBN 9780262640275. Keywords : , Logic programming.
