Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston, MA :
Birkhäuser Boston : Imprint: Birkhäuser,
2008.
|
| Edición: | 1st ed. 2008. |
| Colección: | Modern Birkhäuser Classics,
|
| Temas: | |
| Acceso en línea: | Texto Completo |