Révision d'ontologies fondée sur tableaux
Na minha lista:
| Autor principal: | Dong Ngoc Nguyen Thinh |
|---|---|
| Idioma: | fre |
| Publicado em: |
Université Paris 8
|
| Acesso em linha: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2895 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| 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 |
|---|
Registos relacionados
-
Tableaux de l'economie francaise
Publicado em: (1970) -
Automated Reasoning with Analytic Tableaux and Related Methods
Por: Schmidt, Renate A., et al.
Publicado em: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Por: Olivetti, Nicola
Publicado em: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Por: Beckert, Bernhard
Publicado em: (2020) -
Automated Reasoning with Analytic Tableaux and Related Methods
Publicado em: (2020)