Logic for computer scientists
This book introduces the notions and methods of formal logic from a computer science stanpoint, covering propositional logi, predicate logic, and foundations of logic programming. It presents such modern applications and themes of current computer science research as resolution, automated deduction,...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Uwe Schoning |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Undetermined |
| Έκδοση: |
Boston, Massachusetts
Birkhauser
1989
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
Παρόμοια τεκμήρια
-
Logic for mathematics and computer sicence
ανά: Burris, Stanley N.
Έκδοση: (1998) -
Logic
Έκδοση: (1980) -
Logic toán
ανά: S L Edenmar
Έκδοση: (1981) -
An introduction to symbolic logic
ανά: Langer, Susanne Katherina
Έκδοση: (1953) -
Bước đầu làm quen với logic toán
ανά: Nguyễn Mạnh Trinh
Έκδοση: (1997)