Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
Artikel Jurnal
Ade Azurat, author
Embedding programming logics in hol theorem prover
2002
Artikel Jurnal
Sebuah framework untuk mekanisasi multi logika I.S.W.B. Prasetya, A. Azurat dan S.D. Swierstra
Artikel Jurnal
Mechanizing logic in an aspect oriented attribute grammar system A. Azurat, I.S.W.B. Prasetya dan S.D. Swierstra
Artikel Jurnal
Dwi Teguh Priyantini, author
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover = Formalization of arithmetic algorithm and the related constructions in VHDL by using HOL theorem prover
Fakultas Ilmu Komputer Universitas Indonesia, 2017
UI - Tesis Membership
<<
1
2
3
>>