Search Result
Save to File
Your search for
12493
returns
643
document(s)
The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391
Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
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
Artificial reality
Author: Krueger, Myron W.; | Call Number: 700.105 Kru a | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Artificial reality
Author: Krueger, Myron W.; | Call Number: 700.105 Kru a | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Safe qury languages for constraint database
Author: Peter Z Revesz | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Constraint programming: suatu pendekatan dalam declarative programming
Author: Dewi Mairiza | Call Number: JURNAL SISTEM INFORMASI, Vol. 1 No.1 September 2005 | Type: UI-ana Indek Artikel
Find Similar
|
Add To Favorites
|
Detail in New Window
The rendezvous constraint maintenance system, Hal 225-234
Author: Ralph D.Hill; | Call Number: SEM-194 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Principles of constraint programming / Krzysztof R. Apt
Author: Apt, Krzysztof R.; | Call Number: 005.11 Apt p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
15
16
17
18
19
20
21
22
23
24
Next