| Your search for 13451 returns 3775 document(s) |
| The role of redundant clauses in solving satisfiability problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 873 |
|
Author: Honglei Zeng; Sheila McIlraith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| "Induction, Recursion, and Programming" |
|
Author: Wand, Mitchell; | Call Number: 005.1 Wan i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured induction in expert systems |
|
Author: Shapiro, Alen D.; | Call Number: 006.33 Sha s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Common subexpression induction, Hal. II.174-II.182 |
|
Author: H.G. Dictz; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reconfigurable accelerators for combinatorial problems, page 58 |
|
Author: Marco Platzner | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Global solution to sparse correspondence problems, page 187 |
|
Author: J. Maciel | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Adapting a diagnostic problem-solving model to information retrieval, page 313 |
|
Author: Inien Syu | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Longitudinal study of database-assited problem solving, page 445 |
|
Author: Barbara M.W. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New approach for solving second order ordinary differential equations, page 58-59 |
|
Author: Laith K. Al-Hwawcha and Namh A. Abid | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach, page 478-526 |
|
Author: M. F. Frias, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result