Your search for 52213 returns 81 document(s) |
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
|
Knowledge Graph Completeness Analytics: Case Study of Wikidata |
Author: Avicenna Wisesa; | Call Number: SK-1695 Softcopy SK-1177 | Edition: Fariz Darari | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
JOURNAL OF SYMBOLIC COMPUTATION |
Call Number: [40(2005): 1-6, 39(2005); 1-6, 41 (2006): 1-2] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Practical applications of symbolic computation |
Author: Howard, james C.; | Call Number: 511.8 How p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Lips and Symbolic Computation |
Call Number: 1 (1988): 1-2 | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Practical applications of symbolic computation |
Author: Howard, james C.; | Call Number: 511.8 Now p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic game of logic |
Author: Corroll, Lewis; | Call Number: 511.3 Car s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Regular Algebraic Curve Segments (I)-Definitions and Characteristics, page 485-502 |
Author: G. Xu, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mindfulness in Information Technology Use: Definitions, Distinctions, and a New Measure, Page 831-847 |
Author: Jason Bennett Thatcher, Ryan T. Wright, Heshan Sun, Thomas J. Zagenczyk, and Richard Klein | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|