Mostra 1 - 1 risultati di 1 ricerca 'Hurd, Joe', tempo di risposta: 0,11s Raffina i risultati
1
Theorem Proving in Higher Order Logics
di Hurd, Joe, Melham, Tom
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email