Search Result
Save to File
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