Sebuah Framework untuk Mekanisasi Multi Logika

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

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
JournalJurnal Ilmu Komputer dan Teknologi Informasi
Volume1
Publication statusPublished - 2001

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this