Mostra 1 - 1 risultati di 1 ricerca 'Nalon, Cláudia', tempo di risposta: 0,03s Raffina i risultati
1
Automated Reasoning with Analytic Tableaux and Related Methods
di Schmidt, Renate A., Nalon, Cláudia
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