Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Tahar, Sofiène', זמן שאילתה: 0.02s Tinh chỉnh kết quả
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
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל