Sebuah Framework untuk Mekanisasi Multi Logika

I.S.W.B. Prasetya, A. Azurat, S.D. Swierstra

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Journal	Jurnal Ilmu Komputer dan Teknologi Informasi
Volume	1
Publication status	Published - 2001

PASMultiLogika01

Keywords

@article{dc173510908048ce8fb94946bd6ab54a,

title = "Sebuah Framework untuk Mekanisasi Multi Logika",

keywords = "Wiskunde en Informatica (WIIN)",

author = "I.S.W.B. Prasetya and A. Azurat and S.D. Swierstra",

note = "PASMultiLogika01",

year = "2001",

language = "Undefined/Unknown",

volume = "1",

journal = "Jurnal Ilmu Komputer dan Teknologi Informasi",

}