Ebook: Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
- Tags: Computer Science, Computation, Computational Numerical Analysis
- Year: 2001
- Publisher: A K Peters/CRC Press
- City: New York
- Edition: 1
- pdf
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. This volume is devoted to the
Download the book Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)