大葉大學圖書館 |

Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.36028563
書名/作者:	Automated deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings // edited by Amy P. Felty, Aart Middeldorp.
其他題名:	CADE-25
其他作者:	Felty, Amy P.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	xxviii, 640 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Automatic theorem proving
標題:	Logic, Symbolic and mathematical - Congresses.
標題:	Computer Science.
標題:	Image Processing and Computer Vision.
標題:	Artificial Intelligence (incl. Robotics)
標題:	Algorithm Analysis and Problem Complexity.
標題:	Information Systems Applications (incl. Internet)
標題:	Computation by Abstract Devices.
標題:	Pattern Recognition.
ISBN:	9783319214016 (electronic bk.)
ISBN:	9783319214009 (paper)
內容註:	Automated deduction -- Foundations -- Applications -- Implementations -- Practical experience.
摘要、提要註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-21401-6

Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
Automated deduction - CADE-2525th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /[electronic resource] :CADE-25edited by Amy P. Felty, Aart Middeldorp. - Cham :Springer International Publishing :2015. - xxviii, 640 p. :ill., digital ;24 cm. - Lecture notes in computer science,91950302-9743 ;. - Lecture notes in computer science ;7103..

Automated deduction -- Foundations -- Applications -- Implementations -- Practical experience.

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.

ISBN: 9783319214016 (electronic bk.)

Standard No.: 10.1007/978-3-319-21401-6doiSubjects--Topical Terms:

136150
Automatic theorem proving

LC Class. No.: QA76.9.A96

Dewey Class. No.: 511.36028563

Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
LDR:01755nam a2200361 a 4500 001 442983
003 DE-He213
005 20160225095239.0
006 m d
007 cr nn 008maaau
008 160715s2015 gw s 0 eng d
020 $a 9783319214016 (electronic bk.)
020 $a 9783319214009 (paper)
024 7 $a 10.1007/978-3-319-21401-6 $2 doi
035 $a 978-3-319-21401-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A96
072 7 $a UYT $2 bicssc
072 7 $a UYQV $2 bicssc
072 7 $a COM012000 $2 bisacsh
072 7 $a COM016000 $2 bisacsh
082 0 4 $a 511.36028563 $2 23
090 $a QA76.9.A96 $b I61 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
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.
246 3 $a CADE-25
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xxviii, 640 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $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 Automatic theorem proving $3 136150
650 0 $a Logic, Symbolic and mathematical $v Congresses. $3 379726
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Image Processing and Computer Vision. $3 463967
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 463642
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 463701
650 2 4 $a Information Systems Applications (incl. Internet) $3 463679
650 2 4 $a Computation by Abstract Devices. $3 463641
650 2 4 $a Pattern Recognition. $3 463916
700 1 $a Felty, Amy P. $3 633221
700 1 $a Middeldorp, Aart. $3 633222
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-21401-6
950 $a Computer Science (Springer-11645)