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,...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | 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ơ |
|---|
| LEADER | 00906nam a2200205Ia 4500 | ||
|---|---|---|---|
| 001 | CTU_22846 | ||
| 008 | 210402s9999 xx 000 0 und d | ||
| 020 | |b 89.9df | ||
| 082 | |a 511.3 | ||
| 082 | |b S371 | ||
| 100 | |a Uwe Schoning | ||
| 245 | 0 | |a Logic for computer scientists | |
| 245 | 0 | |c Uwe Schoning | |
| 260 | |a Boston, Massachusetts | ||
| 260 | |b Birkhauser | ||
| 260 | |c 1989 | ||
| 520 | |a 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, and logic programming in a rigorous but readable way | ||
| 650 | |a logic programming,logic, symbolic and mathematical | ||
| 904 | |i Minh, 980625 | ||
| 980 | |a Trung tâm Học liệu Trường Đại học Cần Thơ | ||