Korelasi Derajat Kelumpuhan Otot Fasialis dengan Masa Laten Proksimal dan Compound Muscle Action Potential pada Penderita Bell's Palsy

Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol

Kajian skema e-voting dalam aplikasi skema secret sharing berbasis Chinese remainder theorem (crt) dengan menggunakan barisan mignotte = Study of e voting scheme in application of secret sharing scheme based on the chinese remainder theorem crt using the mignotte sequence

Make a joyful sound : the romance of Mabel Hubbard and Alexander Graham Bell /Helen Helmira Waite

Heuristic search sebagai alternatif pelacakan dan implementasinya dalam prolog untuk aplikasi theorem proving