Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
UI - Skripsi Membership
pemakaian topologi plus di R2 untuk pembuktian teorema baire.
Universitas Indonesia, 2006
UI - Skripsi Membership
Pembuktian teorema brooks
Universitas Indonesia, 2000
UI - Skripsi Membership
Noorbaity
Karakteristik subgrup dan faktor grup dari grup siklis hingga berdasarkan teori bilangan
1988
UI - Skripsi Membership
Aplikasi teorema polya pada enumerasi graf sederhana
Artikel Jurnal