Search Result
Save to File
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