Logic Programming and Automated Reasoning /
שמור ב:
| מחבר ראשי: | Voronkov, Andrei. |
|---|---|
| פורמט: | Sách giấy |
| שפה: | English |
| יצא לאור: |
Berlin :
Springer-Verlag,
1993.
|
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
פריטים דומים
-
Logic for Programming, Artificial Intelligence, and Reasoning
מאת: Sutcliffe, Geoff, et al.
יצא לאור: (2020) -
Logic for Programming, Artificial Intelligence, and Reasoning
מאת: Dershowitz, Nachum, et al.
יצא לאור: (2020) -
Logic Programming and Nonmonotonic Reasoning
מאת: Balduccini, Marcello, et al.
יצא לאור: (2020) -
Logic Programming and Nonmonotonic Reasoning
מאת: Baral, Chitta, et al.
יצא לאור: (2020) -
Logic for Programming, Artificial Intelligence, and Reasoning
יצא לאור: (2020)


