Mechanizing logic in an aspect oriented attribute grammar system A. Azurat, I.S.W.B. Prasetya dan S.D. Swierstra
Artikel Jurnal
I.S.W.B. Prasetya
Sebuah framework untuk mekanisasi multi logika
Fakultas Ilmu Komputer Universitas Indonesia, 2001
Artikel Jurnal
Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
Artikel Jurnal
Teori komposisi komponen Wishnu B. Prasetya, S.D. Swiestra dan Belawati Widjaya
Artikel Jurnal
Kurnia Ramadhan
Aplikasi pengendali logika terprogram pada mekanisasi seleksi paket pos
Fakultas Teknik Universitas Indonesia, 1995
UI - Skripsi Membership