Automated deduction--CADE-23:23rd International Conference on Automated Deduction, Wroc¿aw, Poland, July 31-August 5, 2011 : proceedings
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; |
Published: |
Springer,
|
Publisher Address: | Heidelberg New York |
Publication Dates: | c2011. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 6803. |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-3-642-22438-6 |
Carrier Form: | 1 online resource (xiii, 508 p.): ill. |
ISBN: |
9783642224386 (electronic bk.) 3642224385 (electronic bk.) |
Index Number: | TP301 |
CLC: |
TP301.6-532 TP387-532 TP18-532 |
Contents: | Includes bibliographical references and index. |