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.
- ISBN:
- 9781040186848
- 9781040186848
-
Category:
- Mathematics
- Format:
- Epub (Kobo), Epub (Adobe)
- Publication Date:
-
29-01-2025
- Language:
- English
- Publisher:
- CRC Press
This item is delivered digitally
Hi There,
Did you know that you can save books into your library to create gift lists, reading lists, etc?
You can also mark books that you're reading, or want to read.
Great!
Click on Save to My Library / Lists
Select the List you'd like to categorise as, or add your own
Here you can mark if you have read this book, reading it or want to read
Awesome! You added your first item into your Library
Great! The fun begins.
Click on My Library / My Lists and I will take you there
Reviews
Be the first to review Symbolic Computation and Automated Reasoning.
Share This eBook: