| Your search for 52203 returns 28 document(s) |
| Lifter: Language to Encode Induction Heuristics for Isabelle/HOL (266-287) |
|
Author: Yutaka Nagashima; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| A Note on symmetry heuristics in SEM, Hal. 181-194 |
|
Author: Thierry Boy de la Tour; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Induction, recursion, and programming/ Mitchell Wand/ Mitchell Wand |
|
Author: Wand, Mitchell; | Call Number: 005.1 Wan i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured induction in exepert systems/Alen D. Shapiro |
|
Author: Shapiro, Alen D.; | Call Number: 006.33 Sha s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principle Component Decomposition For Automatic Context Induction (243-250) |
|
Author: Paul Robert
Robert Laddaga; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information retrieval: algorithms and heuristics 2nd ed. |
|
Author: Grossman, David A.; | Call Number: 005.73 gro i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Judgment under uncertainty heuristics and biases/ Daniel Kahneman |
|
Call Number: 153.46 Jud | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result