Révision d'ontologies fondée sur tableaux
שמור ב:
| מחבר ראשי: | Dong Ngoc Nguyen Thinh |
|---|---|
| שפה: | fre |
| יצא לאור: |
Université Paris 8
|
| גישה מקוונת: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2895 |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
| Thư viện lưu trữ: | Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng |
|---|
פריטים דומים
-
Tableaux de l'economie francaise
יצא לאור: (1970) -
Automated Reasoning with Analytic Tableaux and Related Methods
מאת: Schmidt, Renate A., et al.
יצא לאור: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
מאת: Olivetti, Nicola
יצא לאור: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
מאת: Beckert, Bernhard
יצא לאור: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
יצא לאור: (2020)