Harris, Kristian Frits
-
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2008 - SNATI 2008 : Bidang Informatika Teori
Piranti Lunak Pembuktian Pernyataan Logika Proposisi dengan Metode Resolusi Menggunakan Bahasa Pemrograman Prosedural
Abstract PDF