Search Result

Found 115085 Document(s) match with the query 69615
Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
Author : No author
Call Number :
Collection Type : Artikel Jurnal
Location : Universitas Indonesia Library
Embedding programming logics in hol theorem prover
Author : Ade Azurat, author
Call Number : JIKT-2-1-Mei2002-18
Collection Type : Artikel Jurnal
Location : Universitas Indonesia Library
Sebuah framework untuk mekanisasi multi logika I.S.W.B. Prasetya, A. Azurat dan S.D. Swierstra
Author : No author
Call Number :
Collection Type : Artikel Jurnal
Location : Universitas Indonesia Library
Mechanizing logic in an aspect oriented attribute grammar system A. Azurat, I.S.W.B. Prasetya dan S.D. Swierstra
Author : No author
Call Number :
Collection Type : Artikel Jurnal
Location : Universitas Indonesia Library
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
Author : Dwi Teguh Priyantini, author
Call Number : T-Pdf
Collection Type : UI - Tesis Membership
Location : Universitas Indonesia Library
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol
Author : No author
Call Number : 005.13 PRO
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>