LEADER 03944nam  22008415  450 
001 996204581903316
005 20200701043529.0
010   $a3-319-21401-2
024 7 $a10.1007/978-3-319-21401-6
035   $a(CKB)3710000000454193
035   $a(SSID)ssj0001558445
035   $a(PQKBManifestationID)16183690
035   $a(PQKBTitleCode)TC0001558445
035   $a(PQKBWorkID)14819219
035   $a(PQKB)10836160
035   $a(DE-He213)978-3-319-21401-6
035   $a(MiAaPQ)EBC6298169
035   $a(MiAaPQ)EBC5586475
035   $a(Au-PeEL)EBL5586475
035   $a(OCoLC)915756359
035   $a(PPN)18768877X
035   $a(EXLCZ)993710000000454193
100   $a20150730d2015      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Deduction - CADE-25$b[electronic resource] $e25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /$fedited by Amy P. Felty, Aart Middeldorp
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XXVIII, 640 p. 93 illus.)
225 1 $aLecture Notes in Artificial Intelligence ;$v9195
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-21400-4 
320   $aIncludes bibliographical references and index.
327   $aAutomated deduction.- Foundations -- Applications -- Implementations.- Practical experience.
330   $aThis 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.
410  0$aLecture Notes in Artificial Intelligence ;$v9195
606   $aOptical data processing
606   $aArtificial intelligence
606   $aAlgorithms
606   $aApplication software
606   $aComputers
606   $aPattern recognition
606   $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X
615  0$aOptical data processing.
615  0$aArtificial intelligence.
615  0$aAlgorithms.
615  0$aApplication software.
615  0$aComputers.
615  0$aPattern recognition.
615 14$aImage Processing and Computer Vision.
615 24$aArtificial Intelligence.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aComputation by Abstract Devices.
615 24$aPattern Recognition.
676   $a511.36028563
702   $aFelty$b Amy P$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMiddeldorp$b Aart$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996204581903316
996   $aAutomated Deduction - CADE-25$92595834
997   $aUNISA