Révision d'ontologies fondée sur tableaux
Salvato in:
| Autore principale: | Dong Ngoc Nguyen Thinh |
|---|---|
| Lingua: | fre |
| Pubblicazione: |
Université Paris 8
|
| Accesso online: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2895 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|
| 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 |
|---|
Documenti analoghi
-
Tableaux de l'economie francaise
Pubblicazione: (1970) -
Automated Reasoning with Analytic Tableaux and Related Methods
di: Schmidt, Renate A., et al.
Pubblicazione: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
di: Olivetti, Nicola
Pubblicazione: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
di: Beckert, Bernhard
Pubblicazione: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Pubblicazione: (2020)