Search Result
Save to File
Your search for
52213
returns
81
document(s)
An Introduction to probability and inductive logic/ Ian Hacking
Author: Hacking, Ian; | Call Number: 160 Hac i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Inductive Pebble Games and the Expressive Power of Datalog (301-310)
Author: V.S Lakshmanan A.O Mendelzon; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Inductive Generalization With Optimistic Assumption (173--178)
Author: Takashi Kanai Susumu Kunifuji; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A concurrency case study using RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 367-387
Author: Anne Haxthausen; Chris George; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic computing with LISP 2nd ed.
Author: Mueller, Robert A.; | Call Number: 005.133 Mue s | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic logic and mechanical theorem proving
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Maintaining longest paths in cyclic graphs, (LNCS-Lecture Notes in Computer Science 3709) Hal 358-372
Author: Irit Katriel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Some examples of dynamic proofs whithout words in powerpoint(349-357)
Author: Kuo-chung huang*; | Call Number: SIM-355 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Computers and intrability: a guide to the theory of NP-completeness/Michael R. Garey
Author: Garey, Michael R.; | Call Number: 005.1 Gar c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Data structures and algorithms 2: graph algorithms and NP-completeness/Kurt Mehlhorn
Author: Mehlhorn, Kurt; | Call Number: 511.8 Meh d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
Next