Search Result Save to File Save as CSV
Your search for 35881 returns 1909 document(s)
Natural and artificial intelligence
Author: Decallata; Armand M.; | Call Number: 006.3 Dec n | Type: Buku Pusat
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 
Natural proofs,Hal 204-213
Author: Alexander A.Rasborov; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Communicating with databases in natural langauge
Author: Wallace, Mark; | Call Number: 005.133 Wal c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Artificial intelligence and natural man
Author: Boden, Margaret; | Call Number: 006.3 Bod a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Natural and artificial intelligence
Author: De Callatay, Armand M.; | Call Number: 006.3 Dec h | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Boolean semantics for natural language
Author: Keenan, Edward L.; | Call Number: 160 Kee b | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93
Author: James C. Corbett | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   8 9 10 11 12 13 14 15 16 17  Next