عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3642208312
9783642208317
dltt
Logic programming, knowledge representation, and nonmonotonic reasoning :
[Book]
essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
Marcello Balduccini, Tran Cao Son (eds.)
xiii, 512 pages :
illustrations ;
24 cm
Lecture notes in computer science. Lecture notes in artificial intelligence. Festschrift ;
LNCS sublibrary. SL 7, Artificial intelligence
6565
Some of these papers were presented at the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, duting Oct., 25-26, 2010
Includes bibliographical references and author index
Gelfond, Michael
Logic programming
Nonmonotonic reasoning
Balduccini, Marcello
Gelfond, Michael
Son, Tran Cao,1962-
Symposium on Constructive Mathematics in Computer Science(2010 :, Lexington, Ky.)
20141128143632.0
مطالعه متن کتاب [Book]
Y
