Rademaker, Alexandre, editor
A proof theory for description logics
Springer, 2012
 eBooks
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
Cambridge University Press, 2007
 Buku Referensi
Faiq Miftakhul Falakh, author
Pengembangan Ontologi Semantic Web Berbasis Description Logic untuk Aplikasi E-CHNH (E-Cultural Heritage and Natural History) = Development of Description-Logic-Based Semantic Web Ontology for E-CHNH (E-Cultural Heritage and Natural History) Application
Fakultas Ilmu Komputer Universitas Indonesia, 2013
 UI - Skripsi (Membership)
Valentino Vito, author
Pengembangan Algoritma untuk Menyanggah Konjektura pada Teori Graf = Algorithm Development for Conjecture Refutation in Graph Theory
Fakultas Ilmu Komputer Universitas Indonesia, 2023
 UI - Tesis (Membership)
Weinberg, Erick J., author
Classical solutions in quantum field theory: solitons and instantons in high energy physics
Cambridge University Press, 2012
 eBooks
<<   1 2 3   >>