Révision d'ontologies fondée sur tableaux
Сохранить в:
| Главный автор: | Dong Ngoc Nguyen Thinh |
|---|---|
| Язык: | fre |
| Опубликовано: |
Université Paris 8
|
| Online-ссылка: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2895 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| 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)