Révision d'ontologies fondée sur tableaux
Guardat en:
| Autor principal: | Dong Ngoc Nguyen Thinh |
|---|---|
| Idioma: | fre |
| Publicat: |
Université Paris 8
|
| Accés en línia: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2895 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| 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 |
|---|
Ítems similars
-
Tableaux de l'economie francaise
Publicat: (1970) -
Automated Reasoning with Analytic Tableaux and Related Methods
per: Schmidt, Renate A., et al.
Publicat: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
per: Olivetti, Nicola
Publicat: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
per: Beckert, Bernhard
Publicat: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Publicat: (2020)