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ơ

פריטים דומים