Search Result
Save to File
Your search for
37909
returns
115
document(s)
Natural proofs,Hal 204-213
Author: Alexander A.Rasborov; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Modern cryptography probalistic proofs and pseudorandomners
Author: Goldreich, Oded; | Call Number: 519.2 Gol m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal development of programs and proofs/edited Edger W. Dijkstra
Call Number: 005.1 For | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Nearly-linear size holographic proofs,Hal 194-203
Author: Alexander polishchuk; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Effecient probabilistically checkable proofs and applications to approximation,Hal 820
Author: M.Bellare; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Some examples of dynamic proofs whithout words in powerpoint(349-357)
Author: Kuo-chung huang*; | Call Number: SIM-355 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
how to read and proofs: an introduction to mathematical thought process/ Daniel Solow
Author: Solow, Daniel; | Call Number: 511.3 Sol h | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Completeness of Cyclic Proofs Symbolic Heaps iwth Inductive Definitions (367-387)
Author: Makoto Tatsuta Koji Nakazawa Daisuke Kimura; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Natural language undertanding
Author: Allen, James; | Call Number: 005.13 All n | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Natural and artificial intelligence
Author: Decallata; Armand M.; | Call Number: 006.3 Dec n | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev 1
2
3
4
5
6
7
8
9
10
Next
Search Result