|
Judul Buku
Logic for Computer Science and Artificial Intelligence ISBN9781118604182 |
| No | Judul Bab | Hits | Opsi |
|---|---|---|---|
| 1 | Front Matter | 29 | Download |
| 2 | Introduction | 16 | Download |
| 3 | A Few Thoughts Before the Formalization | 17 | Download |
| 4 | Propositional Logic | 16 | Download |
| 5 | First‐order Terms | 15 | Download |
| 6 | First‐Order Logic (FOL) or Predicate Logic (PL1, PC1) | 17 | Download |
| 7 | Foundations of Logic Programming | 13 | Download |
| 8 | Artificial Intelligence | 28 | Download |
| 9 | Inference | 12 | Download |
| 10 | Problem Specification in Logical Languages | 13 | Download |
| 11 | Non‐classical Logics | 12 | Download |
| 12 | Knowledge and Logic: Some Notions | 11 | Download |
| 13 | Solutions to the Exercises | 13 | Download |
| 14 | Bibliography | 0 | Download |
| 15 | Index | 0 | Download |