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...
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Boston, MA :
Birkhäuser Boston,
2008.
|
| Σειρά: | Progress in Mathematics, Basler Lehrbücher,
8 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Διαδίκτυο
Full Text via HEAL-LinkΒΚΠ - Πατρα: ALFd
| Ταξιθετικός Αριθμός: |
330.01 BAU |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη |
ΒΚΠ - Πατρα: BSC
| Ταξιθετικός Αριθμός: |
330.01 BAU |
|---|---|
| Αντίγραφο 2 | Στη βιβλιοθήκη |
| Αντίγραφο 3 | Στη βιβλιοθήκη |
