nerode anil eds (5 risultati)

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.

Trade Paperback. Condizione: 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.

Paperback. Condizione: Very Good. Condizione sovraccoperta: 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.

Condizione: 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 as 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.

Condizione: New. pp. viii + 474.