Your search for 36716 returns 2478 document(s) |
An Explanation-Based Ranking Approach for Ontology-Based Querying (641-650) |
Author: Nenad Stojanovic; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Curvature Formulas for Implicit Curves and Surfaces, page 632-658 |
Author: R. Goldman | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Selected problems of minization of variable-valued logic formulas |
Author: Cuneo, Roland Phillipe; | Call Number: 511.3 Cun s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Basic tree approach and nwc-stepping stone method for solving transportation problem with fuzzy cost A-72 - A-82 |
Author: Maxsi Ary, Asep Herman; | Call Number: SEM-352 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Design and educational applications of a generic step-by-step solver for mathematical problems based on mathematica (hal 192-201) |
Author: Bernhard Zgraggen; | Call Number: SEM-355 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical problem-solving with the microcomputer: project to increase your basic programming skill a collection of challenging problems, with complete program listings, hints, and solutions/ Stephen L. Snover; Mark A. Spikell |
Author: Snover, Stephen L.; | Call Number: 005.26 Sno m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Short overview on modern parallel SAT-Solvers, Hal. 201-206 |
Author: Steffen Holldobler, Norbert Manthey, Van Hau Nguyen, Julian Steckilna, Peter Steinke; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Short overview on modern parellal SAT-Solver, Hal. 201-214 |
Author: Steffen Holldobler, Norbert Manthey, Van Hau Nguyen; Julian Stecklina; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Boolean semantics for natural language |
Author: Keenan, Edward L.; | Call Number: 160 Kee b | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Linear feture extraction for multiclass classification problem based on class mean and covariance discriminant information, Page 223 |
Author: P.F. Hsieh | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|