Search Result Save to File Save as CSV
Your search for 10396 returns 2692 document(s)
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 
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 
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 computer scientist
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical logic for computer science
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical logic for computer science 3rd ed.
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical logic for computer science second edition
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic game of logic
Author: Corroll, Lewis; | Call Number: 511.3 Car s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next