Chargement en cours…
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic pr...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Boston, MA :
Birkhäuser Boston : Imprint: Birkhäuser,
2008.
|
| Édition: | 1st ed. 2008. |
| Collection: | Modern Birkhäuser Classics,
|
| Sujets: | |
| Accès en ligne: | Texto Completo |