LEADER 03389nam  22008415  450 
001 9910485052603321
005 20251226195642.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 $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,$x2945-9141 ;$v9195
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9141 ;$v9195
606   $aComputer vision
606   $aArtificial intelligence
606   $aAlgorithms
606   $aApplication software
606   $aComputer science
606   $aPattern recognition systems
606   $aComputer Vision
606   $aArtificial Intelligence
606   $aAlgorithms
606   $aComputer and Information Systems Applications
606   $aTheory of Computation
606   $aAutomated Pattern Recognition
615  0$aComputer vision.
615  0$aArtificial intelligence.
615  0$aAlgorithms.
615  0$aApplication software.
615  0$aComputer science.
615  0$aPattern recognition systems.
615 14$aComputer Vision.
615 24$aArtificial Intelligence.
615 24$aAlgorithms.
615 24$aComputer and Information Systems Applications.
615 24$aTheory of Computation.
615 24$aAutomated Pattern 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   $a9910485052603321
996   $aAutomated Deduction - CADE-25$92595834
997   $aUNINA