Tallenna
Handbook of 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ää
Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical applications, which are used in many areas of computer science, including software and hardware, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence.
- Toimittaja
- Alan J.A. Robinson, Andrei Voronkov
- ISBN
- 9780080532790
- Kieli
- englanti
- Julkaisupäivä
- 22.6.2001
- Kustantaja
- ELSEVIER SCIENCE
- Formaatti
- Epub - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone
