Search Result
Save to File
Your search for
20736
returns
3739
document(s)
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A simple constructive computability theorem for wait-free compotation,Hal 243-252
Author: Maurice Herlihy; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
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
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
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
An introduction to discrete mathematics and its applications
Author: Kalmanson, Kenneth; | Call Number: 510 Kal i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
17
18
19
20
21
22
23
24
25
26
Next