東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Automated deduction - CADE-25 = 25th...

Felty, Amy P.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Automated deduction - CADE-25/ edited by Amy P. Felty, Aart Middeldorp.
Reminder of title:	25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
remainder title:	CADE-25
other author:	Felty, Amy P.
Published:	Cham :Springer International Publishing : : 2015.,
Description:	xxviii, 640 p. :ill., digital ;24 cm.
[NT 15003449]:	Automated deduction -- Foundations -- Applications -- Implementations -- Practical experience.
Contained By:	Springer eBooks
Subject:	Automatic theorem proving - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-21401-6
ISBN:	9783319214016 (electronic bk.)

Automated deduction - CADE-25 = 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 ;5353..

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:

1244198
Automatic theorem proving
--Congresses.

LC Class. No.: QA76.9.A96

Dewey Class. No.: 511.36028563

Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
LDR:01755nmm a2200361 a 4500 001 2008917
003 DE-He213
005 20160225095239.0
006 m d
007 cr nn 008maaau
008 160311s2015 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
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 $v Congresses. $3 1244198
650 0 $a Logic, Symbolic and mathematical $3 962601
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Image Processing and Computer Vision. $3 891070
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
650 2 4 $a Information Systems Applications (incl. Internet) $3 1565452
650 2 4 $a Computation by Abstract Devices. $3 891207
650 2 4 $a Pattern Recognition. $3 891045
700 1 $a Felty, Amy P. $3 2157669
700 1 $a Middeldorp, Aart. $3 893773
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-21401-6
950 $a Computer Science (Springer-11645)