عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642175112
(Number (ISBN
9783642175114
NATIONAL BIBLIOGRAPHY NUMBER
Number
b547411
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic for programming, artificial intelligence, and reasoning :
General Material Designation
[Book]
Other Title Information
16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
First Statement of Responsibility
Edmund M. Clarke, Andrei Voronkov (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2010
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(x, 516 pages) : illustrations
SERIES
Series Title
Lecture notes in computer science, 6355.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.
PARALLEL TITLE PROPER
Parallel Title
LPAR-16
TOPICAL NAME USED AS SUBJECT
Informatique.
Logic programming -- Congresses.
Logic programming.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Edmund M. Clarke, Andrei Voronkov (eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Andrei Voronkov
Edmund M Clarke, Jr.
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
