Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium (1)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved.
- Copyright:
- 2001
Book Details
- Book Quality:
- Publisher Quality
- Book Size:
- 288 Pages
- ISBN-13:
- 9781040186848
- Related ISBNs:
- 9781439864234, 9781568811451, 9780429064302
- Publisher:
- CRC Press
- Date of Addition:
- 01/30/25
- Copyrighted By:
- Taylor & Francis Group, LLC
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Mathematics and Statistics
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- null Manfred Kerber
- Edited by:
- null Michael Kohlhase