Toon 1 - 1 resultaten van 1 Voor zoekopdracht 'Muñoz, César A.', zoektijd: 0,08s 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:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen