Révision d'ontologies fondée sur tableaux
Kaydedildi:
| Yazar: | Dong Ngoc Nguyen Thinh |
|---|---|
| Dil: | fre |
| Baskı/Yayın Bilgisi: |
Université Paris 8
|
| Online Erişim: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2895 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| 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 |
|---|
Benzer Materyaller
-
Tableaux de l'economie francaise
Baskı/Yayın Bilgisi: (1970) -
Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Schmidt, Renate A., ve diğerleri
Baskı/Yayın Bilgisi: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Olivetti, Nicola
Baskı/Yayın Bilgisi: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Beckert, Bernhard
Baskı/Yayın Bilgisi: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Baskı/Yayın Bilgisi: (2020)