Yazar
Hung, Dang Van. editor.
Format:
Electronic Resources
Alıntı:
Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
View Other Search Results
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
- Ontologies -- Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: