Search Result
Save to File
Your search for
25802
returns
61
document(s)
Implementasi algoritma principal type dan algoritma type inhabitant dari type theory TA-Lambda menggunakan definite clause grammar dalam PROLOG
Author: Ario Santoso; | Call Number: SK-0719 (Softcopy SK-0201) Source code SK-0183 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Computing with logic: logic programming with prolog
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An introduction to logic programming through prolog/Michael Spivey
Author: Spivey, J.M.; | Call Number: 005.133 Spi i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Why prolog?: justifying logic programming for practical applications
Author: Lazarev, Gregory L.; | Call Number: 006.3 Laz w | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prolog and natural languages analysis/Fernando C.N. Pereira
Author: Pereira, Fernando C.N.; | Call Number: 410.285 Per p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Programming in turbo prolog/Lee Teft
Author: Teft, Lee; | Call Number: 006.33 Tef p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Programming in turbo prolog: with an introduciotn to knowldege-based systems
Author: Teft, Lee; | Call Number: 006.33 Tef p | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Expert systems programming in turbo prolog/Daniel H. Marcellus
Author: Marcellus, Daniel H.; | Call Number: 006.33 Mar e | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prolog programming for artificial intelligence
Author: Bratko, Ivan; | Call Number: 006.3 Bra p | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prolog programming for artificial intelligence
Author: Bratko, Ivan; | Call Number: 006.3 Bra p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
Next