Révision d'ontologies fondée sur tableaux
Zapisane w:
| 1. autor: | Dong Ngoc Nguyen Thinh |
|---|---|
| Język: | fre |
| Wydane: |
Université Paris 8
|
| Dostęp online: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2895 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| 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 |
|---|
Podobne zapisy
-
Tableaux de l'economie francaise
Wydane: (1970) -
Automated Reasoning with Analytic Tableaux and Related Methods
od: Schmidt, Renate A., i wsp.
Wydane: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
od: Olivetti, Nicola
Wydane: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
od: Beckert, Bernhard
Wydane: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Wydane: (2020)