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

Proses verifikasi piranti lunak menggunakan lingu dan theorem prover HOL pada studi kasus student entrace test

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