عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642224385
(Number (ISBN
9783642224386
NATIONAL BIBLIOGRAPHY NUMBER
Number
b557745
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated Deduction - CADE-23 :
General Material Designation
[Book]
Other Title Information
23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
First Statement of Responsibility
edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(XIII, 508 p. :).
SERIES
Series Title
Lecture notes in computer science, 6803.
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Nikolaj Bjørner
Viorica Sofronie-Stokkermans
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
