Your search for 52095 returns 1617 document(s) |
Testing satisfiability of CNF formulas by computing a stable set of points, Hal. 161-180 |
Author: Eugene Goldberg; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Solving for set variables in higher-order theorem proving, Hal. 408-414 |
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using a generalized instance set for automatic text categorization, Hal. 81-89 |
Author: Wai Lam; | Call Number: SEM-250 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Existence and property results for optimization problem of set-valued maps, Hal. 3326-3328 |
Author: Xiuhong Liu; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Privacy preserving re-publication for multiple sensitive attributes data set |
Author: Hua Jin, Shancheng Liu, Shiguang Lu; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Entity set expansion using interactive topic information (hal 108 - 116) |
Author: Kugatsu Sadamitsu, Kuniko Saito, Kenji Imamura and Yoshihiro Matsuo; | Call Number: SEM-308 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Foundations of Computing: System Development with Set Theory and Logic/ Thierry Scheeurer |
Author: Scheurer, Thierry; | Call Number: 004.21 Sch f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Theory and problems of set theory and related topics/Seymour Lipschutz |
Author: Lipschutz, Seymour; | Call Number: 511.322 Lip t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Smartwallet-java wallet berbasis smartcard dan protokol set/ Iman Budi Setiawan |
Author: Iman Budi Setiawan; | Call Number: SK-0412(Souce Code SK-21) | Edition: Betty Purwandari | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Inductive learning secara incremental pada answer set programs untuk pembuatan peta permainan |
Author: Julio Christian Young; | Call Number: T-1233 (Softcopy T-941) Source Code T-312, Mak 40 | Edition: 2019 | Type: Tesis
|
Find Similar |
Add To Favorites |
Detail in New Window
|