Search Result Save to File Save as CSV
Your search for 31723 returns 85 document(s)
Eksplorasi formalisasi TLA+dalam theorem prover Hol
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalization of TLA + in HOL Theorem Prover (419-422)
Author: Iis Solichah Ade Azurat; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
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 
LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Embedded programming logics in HOL theorem prover, hal 18-24
Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JIKT-2-1-Mei2002-18 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol
Call Number: 005 Pro | Type: Buku
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 
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 
Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9  Next