Search Result Save to File Save as CSV
Your search for 40885 returns 545 document(s)
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 and mechanical theorem proving
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
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 
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic logic and 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 
First-order logic and automated proving
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Computing logic with logic programming with prolog
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Computing with logic: logic programming with prolog
Author: Maier, David; | Call Number: 005.133 Mai c | 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 
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