DaftarIsitemplate

Call Number

SK-0719 (Softcopy SK-0201) Source code SK-0183

Title

Implementasi algoritma principal type dan algoritma type inhabitant dari type theory TA-Lambda menggunakan definite clause grammar dalam PROLOG

Author

Ario Santoso;

Publisher

Depok: Fasilkom UI, 2008

Subject

Algorithms; Prolog (Computer program language)

Location

FASILKOM-UI;