Automated Reasoning and Mathematics [E-Book] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
Bonacina, Maria Paola.
Stickel, Mark E.
Berlin, Heidelberg : Springer, 2013
XX, 259 p. 27 illus. digital.
englisch
9783642366758
10.1007/978-3-642-36675-8
Lecture notes in computer science ; 7788
Full Text
LEADER 01875nam a22003135i 4500
001 978-3-642-36675-8
003 Springer
008 130228s2013 gw | s |||| 0|eng d
020 |a 9783642366758 
024 7 |a 10.1007/978-3-642-36675-8  |2 doi 
035 |a (Sirsi) a374164 
041 |a eng 
082 0 4 |a 006.3  |2 23 
245 1 0 |a Automated Reasoning and Mathematics  |h [E-Book] :  |b Essays in Memory of William W. McCune /  |c edited by Maria Paola Bonacina, Mark E. Stickel. 
260 |a Berlin, Heidelberg :  |b Springer,  |c 2013  |e (Springer LINK) 
300 |a XX, 259 p. 27 illus.  |b digital. 
490 |a Lecture notes in computer science ;   |v 7788 
500 |a englisch 
520 |a This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especillay a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics. 
650 0 |a Computer science. 
650 0 |a Logic design. 
650 0 |a Artificial intelligence. 
700 1 |a Bonacina, Maria Paola. 
700 1 |a Stickel, Mark E. 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-36675-8  |z Volltext 
915 |a zzwFZJ2 
932 |a Computer Science (Springer-11645) 
596 |a 1 
949 |a XX(374164.1)  |w AUTO  |c 1  |i 374164-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 14/3/2013  |x ZB-D  |z UNKNOWN  |1 ONLINE  |o .STAFF. NEL