68 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
Yazar 
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054
Format: 
Electronic Resources
Alıntı: 
Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity
Yazar 
Bonakdarpour, Borzoo. editor.
Format: 
Electronic Resources
Alıntı: 
-- Foundations of Boolean Stream Runtime Verification -- Portable Runtime Verification with Smartphones and
Yazar 
Iida, Shusaku. editor.
Format: 
Electronic Resources
Alıntı: 
Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble
Tümünü Seç
68 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Materyal Türü
Lokasyon
Kütüphane