Search Result

Your search for 19369 returns 2341 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

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

Cross-language information retrieval

Author: Nie, Jian-Yun; | Call Number: 025.042 1 Nie c | Type: Buku

Natural language information retrieval

Call Number: 005.73 Nat | Type: Buku

Information retrieval/ Basil Doudnikoff

Author: Doudnikoff, Basil; | Call Number: 025.04 Dou i | Type: Buku

Information Retrieval on-line

Author: Lancaster, F.W.; | Call Number: 025.04 Lan i | Type: Buku

Introduction to information retrieval

Author: Manning, Christhoper D.; | Call Number: 025.04 Man i | Type: Buku

CROSS-Language Information Retrieval

Call Number: 025.042 1 Cro | Type: Buku

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

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

Prev 1 2 3 4 5 6 7 8 9 10 Next