Search Result Save to File Save as CSV
Your search for 53953 returns 2177 document(s)
Plate Number Recognition by Using Artificial Neural Network (176-182)
Author: Haris Al-Qodri Maarif Sar Sardy; | Call Number: SEM-274 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prolog/ Francis Giannesini
Call Number: 005.133 Pro | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Micro prolog: programming in logic
Author: Clak, K.L and F.G; | Call Number: 005.133 Cla m | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Advanced prolog: techniques and examples
Author: Ross, Peter; | Call Number: 005.133 Ros a | 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 
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 
Programming in prolog/W.F. Clocksin
Author: Clocksin, W.F.; | Call Number: 005.133 Clo p | 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
Find Similar |  Add To Favorites |  Detail in New Window 
From logic programming to prolog
Author: Apt, Krzysztof R.; | Call Number: 005.133 Apt f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next