Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Munoz, César', Sorgu süresi: 0.03s Sonuçları Daraltın
1
Interactive Theorem Proving
Yazar: Ayala-Rincón, Mauricio, Muñoz, César A.
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:
2
Theorem Proving in Higher Order Logics
Yazar: Mohamed, Otmane Ait, Munoz, César, Tahar, Sofiène
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