يعرض 1 - 2 نتائج من 2 نتيجة بحث عن 'Tahar, Sofiène', وقت الاستعلام: 0.02s تنقيح النتائج
1
Theorem Proving in Higher Order Logics
بواسطة Mohamed, Otmane Ait, Munoz, César, Tahar, Sofiène
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
2
Verification and Evaluation of Computer and Communication Systems
بواسطة Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني