Search Result Save to File Save as CSV
Your search for 24322 returns 1734 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 
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 
Logic proof, and sets/ Marvn L. Bittinger
Author: Bittinger, Marvin L.; | Call Number: 511.3 Bit 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 
Mathematics for computer science/Arnold and I. Guessarian
Author: Arnol, A.; | Call Number: 511.32 Arn m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An Introduction to non-classical logic/ Graham Priest
Author: Priest, Graham; | Call Number: 511.3 Pri i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Chess skill in man and machine/ edited by Peter W. Frey
Author: Krutz, Ronald L.; | Call Number: 794.1 Che | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Aplikasi operasi-operasi fuzzy union dan intersection pada fuzzy interpreter sistem basis data fuzzy/ Chandra Prasetyo Utomo
Author: Chandra Prasetyo Utomo; | Call Number: SK-0793 (Softcopy SK-275) Source code SK-250 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Optimasi pengaturan lampu lalu lintas secara terkoordinasi berbasiskan self-organizing control
Author: Adi Wibowo; | Call Number: T-0951 (Softcopy T-0612) Source code T-0120 | Edition: 2011 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Pengindeksan Konseptual secara dinamis dengan singular value decomposition pada sistem temu kembali informasi
Author: Adi Wahyu Pribadi; | Call Number: T-0812 ( Softcopy T-0467) Source Code T-0070 | Edition: 2006 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   11 12 13 14 15 16 17 18 19 20  Next