Search Result Save to File Save as CSV
Your search for 22062 returns 589 document(s)
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 
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 
Symbolic game of logic
Author: Corroll, Lewis; | Call Number: 511.3 Car 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 
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 
Computability and logic 2nd ed.
Author: Boolos, George S; | Call Number: 511.3 Boo c | 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 
A Mathematical introduction to logic/ Herbert B. Enderton
Author: Enderton, Herbert B.; | Call Number: 511.3 End 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 
Prev   1 2 3 4 5 6 7 8 9 10  Next