Mechanizing logic in an aspect oriented attribute grammar system
Jurnal Ilmu Komputer dan Teknologi Informasi, 3 (2) Oktober 2003: 77-83, 2003
Artikel Jurnal
Ade Azurat
Mechanizing logic in an aspect oriented attribute grammar system
2003
Artikel Jurnal
Sebuah framework untuk mekanisasi multi logika I.S.W.B. Prasetya, A. Azurat dan S.D. Swierstra
Artikel Jurnal
Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
Artikel Jurnal
Long, Peter
Logic, form and grammar
Routledge, 2001
Buku Teks