03389nam 22008415 450 991048505260332120251226195642.03-319-21401-210.1007/978-3-319-21401-6(CKB)3710000000454193(SSID)ssj0001558445(PQKBManifestationID)16183690(PQKBTitleCode)TC0001558445(PQKBWorkID)14819219(PQKB)10836160(DE-He213)978-3-319-21401-6(MiAaPQ)EBC6298169(MiAaPQ)EBC5586475(Au-PeEL)EBL5586475(OCoLC)915756359(PPN)18768877X(EXLCZ)99371000000045419320150730d2015 u| 0engurnn#008mamaatxtccrAutomated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /edited by Amy P. Felty, Aart Middeldorp1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XXVIII, 640 p. 93 illus.)Lecture Notes in Artificial Intelligence,2945-9141 ;9195Bibliographic Level Mode of Issuance: Monograph3-319-21400-4 Includes bibliographical references and index.Automated deduction.- Foundations -- Applications -- Implementations.- Practical experience.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.Lecture Notes in Artificial Intelligence,2945-9141 ;9195Computer visionArtificial intelligenceAlgorithmsApplication softwareComputer sciencePattern recognition systemsComputer VisionArtificial IntelligenceAlgorithmsComputer and Information Systems ApplicationsTheory of ComputationAutomated Pattern RecognitionComputer vision.Artificial intelligence.Algorithms.Application software.Computer science.Pattern recognition systems.Computer Vision.Artificial Intelligence.Algorithms.Computer and Information Systems Applications.Theory of Computation.Automated Pattern Recognition.511.36028563Felty Amy Pedthttp://id.loc.gov/vocabulary/relators/edtMiddeldorp Aartedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910485052603321Automated Deduction - CADE-252595834UNINA