عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642208312
(Number (ISBN
9783642208317
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic programming, knowledge representation, and nonmonotonic reasoning :
General Material Designation
[Book]
Other Title Information
essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
First Statement of Responsibility
Marcello Balduccini, Tran Cao Son (eds.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 512 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm
SERIES
Series Title
Lecture notes in computer science. Lecture notes in artificial intelligence. Festschrift ;
Series Title
LNCS sublibrary. SL 7, Artificial intelligence
Volume Designation
6565
GENERAL NOTES
Text of Note
Some of these papers were presented at the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, duting Oct., 25-26, 2010
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
PERSONAL NAME USED AS SUBJECT
Gelfond, Michael
TOPICAL NAME USED AS SUBJECT
Logic programming
Nonmonotonic reasoning
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Balduccini, Marcello
Gelfond, Michael
Son, Tran Cao,1962-
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Symposium on Constructive Mathematics in Computer Science(2010 :, Lexington, Ky.)
ORIGINATING SOURCE
Date of Transaction
20141128143632.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
