Search Result Save to File Save as CSV
Your search for 36329 returns 476 document(s)
Automated reasoing: 33 basic research problems
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Automated reasoning: introduction and applications/ Larry Wos
Author: Woss, Larry; | Call Number: 006.3 Aut | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Automated reasoning: 33 basic research problems/Larry Wos
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prioritization Of Playbility Heuristic Evaluation For Educational Computer Games (PHEG) Technique Using Analytic Hierarchy Process (105)
Author: Hasiah Mohammed Azizah Jaafar; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Logic programming: semantic program development
Author: Deville, Yves; | Call Number: 005.1 Dev l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic logic & mechanical theorem proving/Chin-Liang Chang
Author: Chang, Chin Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Solving for set variables in higher-order theorem proving, Hal. 408-414
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Automated Geometric Theorem Proving Diagram Generation and Applications (4)
Author: Xia-shan Gao; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next