Toon 1 - 2 resultaten van 2 Voor zoekopdracht 'Tahar, Sofiène', zoektijd: 0,08s Verfijn jouw resultaten
1
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:
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
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen