Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings. ([2015])

• Record Type: Book
• Other Titles: CADE-25
• Further Information: Note: Amy P. Felty, Aart Middeldorp (Eds.).
• Editors: Felty, Amy; Middeldorp, Aart, 1963-
• Other Names: International Conference on Automated Deduction, 25th
• Contents: Automated deduction.- Foundations -- Applications -- Implementations.- Practical experience.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource (xxviii, 640 pages), illustrations
• Subjects: 511.3/6028563; Computer science; Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses; Automatic theorem proving; Logic, Symbolic and mathematical; Applied Physics; Engineering & Applied Sciences; Computers -- Intelligence (AI) & Semantics; Computers -- Programming -- Algorithms; Computers -- Information Technology; Computers -- Machine Theory; Computers -- Computer Vision & Pattern Recognition; Artificial intelligence; Algorithms & data structures; Information retrieval; User interface design & usability; Pattern recognition; Computer vision; Artificial intelligence; Computer software; Optical pattern recognition; Computers -- Computer Graphics; Image processing; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319214016; 3319214012
• Related ISBNs: 9783319214009; 3319214004
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed August 6, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.