000 02968nam a22006255i 4500
001 978-3-319-21401-6
003 DE-He213
005 20240730182851.0
007 cr nn 008mamaa
008 150730s2015 sz | s |||| 0|eng d
020 _a9783319214016
_9978-3-319-21401-6
024 7 _a10.1007/978-3-319-21401-6
_2doi
050 4 _aTA1634
072 7 _aUYQV
_2bicssc
072 7 _aCOM016000
_2bisacsh
072 7 _aUYQV
_2thema
082 0 4 _a006.37
_223
245 1 0 _aAutomated Deduction - CADE-25
_h[electronic resource] :
_b25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
_cedited by Amy P. Felty, Aart Middeldorp.
250 _a1st ed. 2015.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2015.
300 _aXXVIII, 640 p. 93 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v9195
505 0 _aAutomated deduction.- Foundations -- Applications -- Implementations.- Practical experience.
520 _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.
650 0 _aComputer vision.
_9129504
650 0 _aArtificial intelligence.
_93407
650 0 _aAlgorithms.
_93390
650 0 _aApplication software.
_9129505
650 0 _aComputer science.
_99832
650 0 _aPattern recognition systems.
_93953
650 1 4 _aComputer Vision.
_9129506
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aAlgorithms.
_93390
650 2 4 _aComputer and Information Systems Applications.
_9129507
650 2 4 _aTheory of Computation.
_9129508
650 2 4 _aAutomated Pattern Recognition.
_931568
700 1 _aFelty, Amy P.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9129509
700 1 _aMiddeldorp, Aart.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9129510
710 2 _aSpringerLink (Online service)
_9129511
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319214009
776 0 8 _iPrinted edition:
_z9783319214023
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v9195
_9129512
856 4 0 _uhttps://doi.org/10.1007/978-3-319-21401-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91539
_d91539