Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
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
CHF 96.10
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Kohlhase, Michael (Hrsg.)
- ISBN: 978-1-4398-6423-4
- EAN: 9781439864234
- Produktnummer: 32389636
- Verlag: Taylor & Francis Ltd.
- Sprache: Englisch
- Erscheinungsjahr: 2001
- Seitenangabe: 288 S.
- Plattform: PDF
- Masse: 15'557 KB
6 weitere Werke von Manfred (Hrsg.) Kerber:
Towards Mechanized Mathematical Assistants
The CALCULEMUS-2000 Symposium
The CALCULEMUS-2000 Symposium
Ebook (PDF Format)
CHF 82.50
Bewertungen
Anmelden