Toon 1 - 2 resultaten van 2 Voor zoekopdracht 'Munoz, César', zoektijd: 0,02s Verfijn jouw resultaten
1
Interactive Theorem Proving
door Ayala-Rincón, Mauricio, Muñoz, César A.
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
2
Theorem Proving in Higher Order Logics
door Mohamed, Otmane Ait, Munoz, César, Tahar, Sofiène
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen