1 option
Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / edited by Amy P. Felty, Aart Middeldorp.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 9195.
- Lecture Notes in Artificial Intelligence ; 9195
- Language:
- English
- Subjects (All):
- Optical data processing.
- Artificial intelligence.
- Algorithms.
- Application software.
- Computers.
- Pattern perception.
- Image Processing and Computer Vision.
- Artificial Intelligence.
- Algorithm Analysis and Problem Complexity.
- Information Systems Applications (incl. Internet).
- Computation by Abstract Devices.
- Pattern Recognition.
- Local Subjects:
- Image Processing and Computer Vision.
- Artificial Intelligence.
- Algorithm Analysis and Problem Complexity.
- Information Systems Applications (incl. Internet).
- Computation by Abstract Devices.
- Pattern Recognition.
- Physical Description:
- 1 online resource (XXVIII, 640 pages) : 93 illustrations.
- Edition:
- First edition 2015.
- Contained In:
- Springer eBooks
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2015.
- System Details:
- text file PDF
- 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.
- Contents:
- Automated deduction.- Foundations
- Applications
- Implementations.- Practical experience.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-21401-6
- 9783319214016
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.