Gösterilen 1 - 1 sonuçlar arası kayıtlar. 1 sonuç. Aranan kelime 'Lynce, Inês', Sorgu süresi: 0.05s Sonuçları Daraltın
1
Theory and Applications of Satisfiability Testing – SAT 2019
Yazar: Janota, Mikoláš, Lynce, Inês
Baskı/Yayın Bilgisi 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder