Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (2006) (Lecture Notes in Computer Science #4130)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
- Copyright:
- 2006
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540371885
- Related ISBNs:
- 9783540371878
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 08/23/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Ulrich Furbach
- Edited by:
- Natarajan Shankar
Reviews
Other Books
- by Ulrich Furbach
- by Natarajan Shankar
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy