Search Result Save to File Save as CSV
Your search for 36329 returns 486 document(s)
Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
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 
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 
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 
Deduction systems/Rolf Socher-Ambrosius
Author: Socher-Ambrosius, Rolf; | Call Number: 511.3 Soc d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Penerapan logika UNITY dalam sertifikasi perangkat lunak berbasis komponen dengan studi kasus aplikasi E-Voting/ Prastudy Mungkas Fauzi
Author: Prastudy Mungkas Fauzi; | Call Number: SK-0690 (Softcopy SK-0171) Source code SK-0160 | Type: Skripsi
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 
Eksplorasi formalisasi TLA+dalam theorem prover Hol
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Heuristic reasoning about uncertainty: an artificial intelligence approach
Author: Cohen, Paul R.; | Call Number: 006.3 Coh h | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
TSP ALGORITHM COMPLETION OF THE DELIVERY SERVICE SYSTEM USING HEURISTIC ALGORITHMS
Author: Richki Hardi; | Call Number: SEM-211 | 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