Symbolic Computation and Automated Reasoning (PDF)
The CALCULEMUS-2000 Symposium
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
54.49 €
27 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Symbolic Computation and Automated Reasoning (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.
Bibliographische Angaben
- 2001, 288 Seiten, Englisch
- Herausgegeben: Manfred Kerber, Michael Kohlhase
- Verlag: Taylor & Francis
- ISBN-10: 1439864233
- ISBN-13: 9781439864234
- Erscheinungsdatum: 02.04.2001
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 14 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Symbolic Computation and Automated Reasoning"
0 Gebrauchte Artikel zu „Symbolic Computation and Automated Reasoning“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Symbolic Computation and Automated Reasoning".
Kommentar verfassen