Search Result

Found 150525 Document(s) match with the query 123777
Implementasi algoritma principal type dan algoritma type inhabitant dari type theory TA-Lambda menggunakan definite clause grammar daalam prolog
Author : Ario Santoso, author
Call Number : S-Pdf
Collection Type : UI - Skripsi Open
Location : Universitas Indonesia Library
Tuntunan praktis pemrograman bahasa Prolog: menggunakan program-program pada turbo prolog 2.0
Author : Andrey Andoko, author
Call Number : 001.642 AND t
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Programming in prolog
Author : Clocksin, W.F., author
Call Number : 005.133 CLO p
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Implementations of prolog
Author : No author
Call Number : 005.133 IMP
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Author : Diah Kusumawati, author
Call Number : S26942
Collection Type : UI - Skripsi Membership
Location : Universitas Indonesia Library
Micro prolog: programming in logic
Author : Clark, K.L., author
Call Number : 005.133 CLA m
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>