Search Result Save to File Save as CSV
Your search for 24803 returns 359 document(s)
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 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 game of logic
Author: Corroll, Lewis; | Call Number: 511.3 Car s | 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 
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 
JOURNAL OF SYMBOLIC COMPUTATION
Call Number: [40(2005): 1-6, 39(2005); 1-6, 41 (2006): 1-2] | Type: Jurnal/ Majalah
Find Similar |  Add To Favorites |  Detail in New Window 
Practical applications of symbolic computation
Author: Howard, james C.; | Call Number: 511.8 How p | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Lips and Symbolic Computation
Call Number: 1 (1988): 1-2 | Type: Jurnal/ Majalah
Find Similar |  Add To Favorites |  Detail in New Window 
Practical applications of symbolic computation
Author: Howard, james C.; | Call Number: 511.8 Now p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next