Your search for 19394 returns 2355 document(s) |
Automation of reasoning 1: classical papers on computational logic 1957-1966 |
Author: Siekmann, Jorg; Wrightson, Graham ed.; | Call Number: 006.35 Sie a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Information Retrieval Library Autom |
Call Number: [19 (1984): 8-12, 20 (1985): 8-12, 21 (1985): 2-12, 23 (1987): 1-7, 31 (1996): 9-12, 32 (1996): 1-7, 33 (1997): 1-8] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Cross-language information retrieval |
Author: Nie, Jian-Yun; | Call Number: 025.042 1 Nie c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Natural language information retrieval |
Call Number: 005.73 Nat | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Information retrieval/ Basil Doudnikoff |
Author: Doudnikoff, Basil; | Call Number: 025.04 Dou i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Information Retrieval on-line |
Author: Lancaster, F.W.; | Call Number: 025.04 Lan i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to information retrieval |
Author: Manning, Christhoper D.; | Call Number: 025.04 Man i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
CROSS-Language Information Retrieval |
Call Number: 025.042 1 Cro | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengembangan Interactive Learning Module untuk Memvisualisasikan Self-Regulated Learning Skills: Studi Kasus Dasar-dasar Boolean Logic |
Author: Luthfi Kurnia Putra; | Call Number: SK-1561 (Softcopy SK-1043) Source Code SK-636 | Edition: Harry Budi Santoso | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|