000 02775nam a22006375i 4500
001 978-3-319-21401-6
003 DE-He213
005 20200421111850.0
007 cr nn 008mamaa
008 150730s2015 gw | s |||| 0|eng d
020 _a9783319214016
_9978-3-319-21401-6
024 7 _a10.1007/978-3-319-21401-6
_2doi
050 4 _aTA1637-1638
050 4 _aTA1634
072 7 _aUYT
_2bicssc
072 7 _aUYQV
_2bicssc
072 7 _aCOM012000
_2bisacsh
072 7 _aCOM016000
_2bisacsh
082 0 4 _a006.6
_223
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 Computer Science,
_x0302-9743 ;
_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 science.
650 0 _aComputers.
650 0 _aAlgorithms.
650 0 _aArtificial intelligence.
650 0 _aImage processing.
650 0 _aPattern recognition.
650 1 4 _aComputer Science.
650 2 4 _aImage Processing and Computer Vision.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aInformation Systems Applications (incl. Internet).
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aPattern Recognition.
700 1 _aFelty, Amy P.
_eeditor.
700 1 _aMiddeldorp, Aart.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319214009
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9195
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-21401-6
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c56061
_d56061