Search Result Save to File Save as CSV
Your search for 45322 returns 805 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 
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover
Author: Dwi Teguh Priyantini; | Call Number: T-1210 (Softcopy T-918) Source code -297 Mak T-020 | Edition: 2017 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Formalization Of Arithmetic Algorithm In Vdhl Using Hol Theorem Prover
Author: Dwi Teguh Priyantini; Ade Azurat; | Call Number: Mak T Jilid 016-035 (T-1210) (Mak T-020) | Type: Makalah Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Automated Geometric Theorem Proving Diagram Generation and Applications (4)
Author: Xia-shan Gao; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Knowledge management: challeges, solutions and technologies
Author: Becerra-Fernandez, Irma; | Call Number: 658.403 8 Bec k | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Applied XML solutions: the authoritatitve solution
Author: Marchal, Benoit; | Call Number: 005.72 Mar a | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Knowledge management: challeges, solutions and technologies
Author: Becerra-Fernandez, Irma; | Call Number: 658.403 8 Bec k | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Probles for computer solutions/ Fred Gruenberger
Author: Gruenberger, Fred; | Call Number: 004 Gru p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Digital color management: : encoding solutions
Author: Giorgianni, Edward J.; | Call Number: 621.367 Gio d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   12 13 14 15 16 17 18 19 20 21  Next