Search Result
Save to File
Your search for
54239
returns
39
document(s)
Logic Programming as Contructivism: A Formalization and its Application to Databases (34-50)
Author: Francois Bry; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Agreement and Policies in Cooperative Mobile Agent: Formalization and Implementation (683-700)
Author: Fuyuki Ishikawa Nobukazu Yoshioka Shinichi Honiden; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Research on Security Protocol Formalization based on Belief (V1-354 -- V1-356)
Author: Kening Liu Junyao Ye Yinliang Wang; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic logic and mechanical theorem proving
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
The HR program for theorem generation, Hal. 285-289
Author: Simon Colton; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A coding theorem for distributed computation,Hal 790-799
Author: Sridhar Rajagopalan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Two prover protocols-low error at affordable rates,hal 172-183
Author: Uriel Feige; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
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
Eksperimen formalisasi dalam sistem hol dengan studi kasus teori graph/ Ricky Suryadharma
Author: Ricky Suryadharma; | Call Number: SK-0779 (Softcopy SK-261) Source code SK-237 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
Next