Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Munoz, César', זמן שאילתה: 0.05s Tinh chỉnh kết quả
1
Interactive Theorem Proving
מאת Ayala-Rincón, Mauricio, Muñoz, César A.
יצא לאור 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
2
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
קבל טקסט מלא
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל