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