Search Result Save to File Save as CSV
Your search for 13451 returns 3775 document(s)
Knowledge representation and reasoning
Author: Brachman, Ronald J.; | Call Number: 006.332 Bra k | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Y2K Rollover: few problems many questions* sun withdraws java from standards process,page 22
Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Problem solving solving with fortran 77
Author: Nyhoff, Larry; | Call Number: 005.133 Nyh f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
On induction vs continuity, (LNCS-Lecture Notes in Computer Science 999) Hal. 167-176
Author: Dexter Kozen; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Learning from examples: decision tree induction/ Graham J. Williams
Call Number: SEM-001 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
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 
An Induction based on A hybrid of Drsa and Dematel For Analysing Competitiveness 2012 (29)
Author: Yu-Chien Ko Chao Hsien-Wen Gwo-Hshiung Tzeng; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Handbook of automated reasoning vol. II
Call Number: 006.3 Han | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Foundations of inductive reasoning/ Ronald Christensen
Author: Christensen, Ronald; | Call Number: 006.3 Chr f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Qualitative reasoning about physical systems
Call Number: 006.6 Qua | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next