Search Result Save to File Save as CSV
Your search for 29740 returns 286 document(s)
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 
Sistem temu kembali informasi berbasis logika kantor dibandingkan dan sistem temu kembali informasi berbasis P. Norm
Author: Mutia Nur Estri; | Call Number: T-0366 (Softcopy Scan T-0002) | Edition: 2003 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   2 3 4 5 6 7 8 9 10 11  Next