跳到内容
Automated reasoning and mathematics : essays in memory of William W. McCune 预览资料
关闭预览资料
正在查...

Automated reasoning and mathematics : essays in memory of William W. McCune

著者: Maria Paola Bonacina; M E Stickel
出版商: Berlin ; New York : Springer, ©2013.
丛书: Lecture notes in computer science, 7788.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
版本/格式:   电子图书 : 文献 : 英语查看所有的版本和格式
数据库:WorldCat
提要:
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 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  再读一些...
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

类型/形式: Electronic books
附加的形体格式: Printed edition:
材料类型: 文献, 互联网资源
文件类型: 互联网资源, 计算机文档
所有的著者/提供者: Maria Paola Bonacina; M E Stickel
ISBN: 9783642366758 3642366759 3642366740 9783642366741
OCLC号码: 829760808
描述: 1 online resource (xx, 257 p.) : ill.
内容: The Legacy of a Great Researcher / Larry Wos --
The Strategy Challenge in SMT Solving / Leonardo de Moura, Grant Olney Passmore --
Simple and Efficient Clause Subsumption with Feature Vector Indexing / Stephan Schulz --
Superposition for Bounded Domains / Thomas Hillenbrand, Christoph Weidenbach --
MACE4 and SEM: A Comparison of Finite Model Generators / Hantao Zhang, Jian Zhang --
Group Embedding of the Projective Plane PG(2, 3) / Eric Ens, Ranganathan Padmanabhan --
A Geometric Procedure with Prover9 / Ranganathan Padmanabhan, Robert Veroff --
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction / Michael Kinyon, Robert Veroff, Petr Vojtěchovský --
(Dual) Hoops Have Unique Halving / Rob Arthan, Paulo Oliva --
Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach / Branden Fitelson --
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants / Deepak Kapur, Zhihai Zhang, Matthias Horbach --
Toward a Procedure for Data Mining Proofs / Zachary Ernst, Seth Kurtenbach --
Theorem Proving in Large Formal Mathematics as an Emerging AI Field / Josef Urban, Jiří Vyskočil.
丛书名: Lecture notes in computer science, 7788.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
责任: Maria Paola Bonacina, Mark E. Stickel (eds.).
更多信息:

摘要:

This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover  再读一些...

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/829760808>
library:oclcnum"829760808"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:copyrightYear"2013"
schema:datePublished"2013"
schema:description"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 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."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1211787567>
schema:genre"Electronic books"
schema:inLanguage"en"
schema:isPartOf
schema:isPartOf
schema:name"Automated reasoning and mathematics essays in memory of William W. McCune"
schema:numberOfPages"257"
schema:publication
schema:publisher
schema:url
schema:workExample
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.