03944nam 22008415 450 99620458190331620200701043529.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[electronic resource] 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 ;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 ;9195Optical data processingArtificial intelligenceAlgorithmsApplication softwareComputersPattern recognitionImage Processing and Computer Visionhttps://scigraph.springernature.com/ontologies/product-market-codes/I22021Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Pattern Recognitionhttps://scigraph.springernature.com/ontologies/product-market-codes/I2203XOptical data processing.Artificial intelligence.Algorithms.Application software.Computers.Pattern recognition.Image Processing and Computer Vision.Artificial Intelligence.Algorithm Analysis and Problem Complexity.Information Systems Applications (incl. Internet).Computation by Abstract Devices.Pattern Recognition.511.36028563Felty Amy Pedthttp://id.loc.gov/vocabulary/relators/edtMiddeldorp Aartedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996204581903316Automated Deduction - CADE-252595834UNISA