Search Result Save to File Save as CSV
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