| Your search for 13311 returns 611 document(s) |
| 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
|
| The Genetic algorithm with rough set theory incorporated into the patent composition, 39-55 |
|
Author: Wen-You Liang; Chun-Che Huang | Call Number: Vol. 24 (2013): 1 | Type: Indeks Artikel Jurnal
|
|
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
|
Search Result