Search Result Save to File Save as CSV
Your search for 26828 returns 3487 document(s)
Godel's theorem: an incomplete guide to its use and abuse/ Torkel Franzen
Author: Franzen, Torkel; | Call Number: 511.3 Fra g | 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 
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 
Consumption Prediction on Steam Power Plant Using Data Mining Hybrid Particle Swarm Optimization (PSO) and Auto Regressive Integrated Moving Average (ARIMA) (15-20)
Author: Rinaldi Rusli Achmad Nizar Hidayanto Yova Ruldeviyani; | Call Number: SEM-373 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Applying ATAUT model for rearch better understanding on the acceptance and use of case study: experiential e-learning of Sanata Dharma University, HAL. 415-426
Author: I Gusti Nyoman Sedana; Wisnu Wijaya; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Applying an abstract data structure description approach to parallelizing scientific pointer programs, Hal. II.100-II.104
Author: Joseph Hummel; Laurie J. Hendren; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Applying constraint programming to rigid body protein docking, (LNCS-Lecture Notes in Computer Science 3709) Hal 373-387
Author: Ludwig Krippahl; Pedro Barahona; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   2 3 4 5 6 7 8 9 10 11  Next