Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
AvMichael Kohlhase,Manfred Kerber
E-bok
Engelska, 2001936 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Intelligent Computer Mathematics
Volker Sorge, Florian Rabe, Cezary Kaliszyk, Jacques Carette, Manfred Kerber
E-bok
2015708 kr
Computational Logic - CL 2000
Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd
E-bok
2003718 kr
Del 9150
Intelligent Computer Mathematics
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
Häftad, 2015
561 kr
Towards Mechanized Mathematical Assistants
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
Häftad, 2007
544 kr
Computational Logic — CL 2000
John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey
661 kr
Towards Mechanized Mathematical Assistants
Wolfgang Windsteiger, Robert Miner, Manfred Kerber, Manuel Kauers
E-bok
2007687 kr
Del 14101