Symbolic Computation and Automated Reasoning

The CALCULEMUS-2000 Symposium

AvMichael Kohlhase,Manfred Kerber

E-bok
PDF, Engelska, 2001

936 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

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

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
2003

718 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