컨텐츠로 이동
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
자료 유형: 문서, 인터넷 자료
문서 형식: 인터넷 자원, 컴퓨터 파일
모든 저자 / 참여자: 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 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


<http://www.worldcat.org/oclc/829760808>
library:oclcnum"829760808"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/829760808>
rdf:typeschema:Book
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:name"Automated reasoning and mathematics essays in memory of William W. McCune"
schema:numberOfPages"257"
schema:publisher
schema:url
schema:url<http://dx.doi.org/10.1007/978-3-642-36675-8>
schema:workExample
schema:workExample

Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.