Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
Berita Terkait
Membuat Daftar Pustaka dan Rujukan Otomatis Dengan Mendeley
UPT Perpustakaan Universitas Kristen Maranatha menyelenggarakan sebuah kegiatan pada...
Pelatihan Pemanfaatan Aplikasi Mendeley
Telah dilaksanakan pelatihan penggunaan aplikasi Mendeley melalui Zoom pada...
Petualangan di Perpustakaan Ajaib: Merayakan Hari Buku Anak Internasional
Pada tanggal 30 April 2024, Perpustakaan Universitas Kristen Maranatha...