Symbolic Computation and Automated Reasoning : The CALCULEMUS-2000 Symposium
Book Details
Format
Hardback or Cased Book
ISBN-10
1568811454
ISBN-13
9781568811451
Publisher
Taylor & Francis Inc
Imprint
A K Peters
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Apr 2nd, 2001
Print length
284 Pages
Weight
566 grams
Product Classification:
Mathematical theory of computationArtificial intelligence
Ksh 17,100.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
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
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 integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 6--7 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems.
Get Symbolic Computation and Automated Reasoning by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Taylor & Francis Inc and it has pages.
