Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /

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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Felty, Amy P. (Editor, http://id.loc.gov/vocabulary/relators/edt), Middeldorp, Aart. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Lecture Notes in Artificial Intelligence ; 9195
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-21401-6
LEADER 03342nam a22006255i 4500
001 978-3-319-21401-6
003 DE-He213
005 20210618050251.0
007 cr nn 008mamaa
008 150730s2015 gw | s |||| 0|eng d
020 |a 9783319214016  |9 978-3-319-21401-6 
024 7 |a 10.1007/978-3-319-21401-6  |2 doi 
050 4 |a TA1630-1650 
072 7 |a UYT  |2 bicssc 
072 7 |a COM012000  |2 bisacsh 
072 7 |a UYT  |2 thema 
072 7 |a UYQV  |2 thema 
082 0 4 |a 006.6  |2 23 
082 0 4 |a 006.37  |2 23 
245 1 0 |a Automated Deduction - CADE-25  |h [electronic resource] :  |b 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /  |c edited by Amy P. Felty, Aart Middeldorp. 
250 |a 1st ed. 2015. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2015. 
300 |a XXVIII, 640 p. 93 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Artificial Intelligence ;  |v 9195 
505 0 |a Automated deduction.- Foundations -- Applications -- Implementations.- Practical experience. 
520 |a 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. 
650 0 |a Optical data processing. 
650 0 |a Artificial intelligence. 
650 0 |a Algorithms. 
650 0 |a Application software. 
650 0 |a Computers. 
650 0 |a Pattern recognition. 
650 1 4 |a Image Processing and Computer Vision.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I22021 
650 2 4 |a Artificial Intelligence.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I21000 
650 2 4 |a Algorithm Analysis and Problem Complexity.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I16021 
650 2 4 |a Information Systems Applications (incl. Internet).  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I18040 
650 2 4 |a Computation by Abstract Devices.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I16013 
650 2 4 |a Pattern Recognition.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 
700 1 |a Felty, Amy P.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Middeldorp, Aart.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319214023 
776 0 8 |i Printed edition:  |z 9783319214009 
830 0 |a Lecture Notes in Artificial Intelligence ;  |v 9195 
856 4 0 |u https://doi.org/10.1007/978-3-319-21401-6 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)