Automated deduction -- CADE-25 [electronic resource] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / Amy P. Felty, Aart Middeldorp (Eds.).
International Conference on Automated Deduction (25th : 2015 : Berlin, Germany); Felty, Amy, editor.; Middeldorp, Aart, 1963- editor.
2015
QA76.9.A96
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Automated deduction -- CADE-25 [electronic resource] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / Amy P. Felty, Aart Middeldorp (Eds.).
Meeting Name International Conference on Automated Deduction (25th : 2015 : Berlin, Germany)
ISBN 9783319214016 electronic book
3319214012 electronic book
9783319214009
3319214004
Published Cham : Springer, [2015]
Copyright ©2015
Language English
Description 1 online resource (xxviii, 640 pages) : illustrations.
Call Number QA76.9.A96
Dewey Decimal Classification 511.3/6028563
Summary This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
Note International conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed August 6, 2015).
Added Author Felty, Amy, editor.
Middeldorp, Aart, 1963- editor.
Series Lecture notes in computer science ; 9195.
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Automated deduction.- Foundations
Applications
Implementations.- Practical experience.

Browse Subjects

Show more subjects...

Statistics

from
to
Export