Search Result

Found 121096 Document(s) match with the query 69641
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
Mechanizing logic in an aspect oriented attribute grammar system
Author : Ade Azurat, author
Call Number : JIKT-3-2-Okt2004-77
Collection Type : Artikel Jurnal
Location : Universitas Indonesia Library
Mechanizing logic in an aspect oriented attribute grammar system
Author : No author
Call Number : JIKT-3-2-Okt2003-77
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
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
Teori komposisi komponen Wishnu B. Prasetya, S.D. Swiestra dan Belawati Widjaya
Author : No author
Call Number :
Collection Type : Artikel Jurnal
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>