LEADER 03664nam  22007575  450 
001 996466265003316
005 20200703231630.0
010   $a3-642-36675-9
024 7 $a10.1007/978-3-642-36675-8
035   $a(CKB)3520000000003546
035   $a(SSID)ssj0000879969
035   $a(PQKBManifestationID)11956610
035   $a(PQKBTitleCode)TC0000879969
035   $a(PQKBWorkID)10873229
035   $a(PQKB)11674902
035   $a(DE-He213)978-3-642-36675-8
035   $a(MiAaPQ)EBC3093552
035   $a(PPN)168330350
035   $a(EXLCZ)993520000000003546
100   $a20130228d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Reasoning and Mathematics$b[electronic resource] $eEssays in Memory of William W. McCune /$fedited by Maria Paola Bonacina, Mark E. Stickel
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XX, 259 p. 27 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v7788
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-36674-0 
320   $aIncludes bibliographical references and index.
330   $aThis 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 especially 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.
410  0$aLecture Notes in Artificial Intelligence ;$v7788
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer logic
606   $aComputer science?Mathematics
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
608   $aAufsatzsammlung.
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aComputer science?Mathematics.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aMath Applications in Computer Science.
676   $a006.3
686   $aDAT 700f$2stub
686   $aDAT 702f$2stub
686   $aDAT 706f$2stub
686   $aSS 4800$2rvk
702   $aBonacina$b Maria Paola$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aStickel$b Mark E$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466265003316
996   $aAutomated Reasoning and Mathematics$92831433
997   $aUNISA