| Your search for 7046 returns 4399 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
|
| 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
|
| Prolog and Natural language analysis |
|
Author: Pereira, Feranndo C.; | Call Number: 410.285 Per p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Prolog programming for artificial intelligence 3rd ed. |
|
Author: Bratko, Ivan; | Call Number: 006.3 Bra p | 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
|
| A Logical Approach to Expert Systems and Natural Language Processing: Knowledge Systems and Prolog / Adrian Walker,Michael McCord,John F. Sowa, Walter G.Wilson[et.al.] |
|
Call Number: 006.33 Kno | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic computing with lisp and prolog/Robert A. Mueller; Rex L. Page |
|
Author: Mueller, Robert A.; | Call Number: 005.133 Mue s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing logic with logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Building expert systems in prolog |
|
Author: Merritt, Dennis; | Call Number: 006.33 Mer b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result