Résultat(s) 1 - 1 résultats de 1 pour la requête 'Lynce, Inês', Temps de recherche: 0,04s Affiner les résultats
1
Theory and Applications of Satisfiability Testing – SAT 2019
par Janota, Mikoláš, Lynce, Inês
Publié 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel