Spar
Handbook of Automated Reasoning
e-bok, 2001
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
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.
- Redaktør
- Alan J.A. Robinson, Andrei Voronkov
- ISBN
- 9780080532790
- Språk
- Engelsk
- Utgivelsesdato
- 22.6.2001
- Forlag
- ELSEVIER SCIENCE
- Tilgjengelige elektroniske format
- Epub - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
