Tallenna
Symbolic Computation and Automated Reasoning
e-kirja, 2001
englanti
Lue Adobe DRM-yhteensopivassa e-kirjojen lukuohjelmassaTämä e-kirja on kopiosuojattu Adobe DRM:llä, mikä vaikuttaa siihen, millä alustalla voit lukea kirjaa. Lue lisää
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.
- Alaotsikko
- The CALCULEMUS-2000 Symposium
- Toimittaja
- Manfred Kerber, Michael Kohlhase
- ISBN
- 9781439864234
- Kieli
- englanti
- Julkaisupäivä
- 2.4.2001
- Kustantaja
- CRC PRESS
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone
