
Judul	PEMANFAATAN ISABELLE/HOL DALAM VERIFIKASI PROGRAM GRAF GP 2
Tahun	2021
Ketua	GIA
Penulis	AHY
Jenis	Internal
Status	Didanai
Nama Kegiatan	PENELITIAN DASAR DAN TERAPAN TAHAP 2 GELOMBANG 2 2021
Lab Riset	COMPUTING, AI
Mitra
Kesesuaian Roadmap	trustworthy AI
Luaran
Rekomendasi	topik penelitian sesuai dengan cakupan topik pada roadmap penelitian KK
Mata Kuliah Relevan	Representasi Pengetahuan, Ilmu Jejaring
Tanggal Pengesahan	28 September 2021