Search Result Save to File Save as CSV
Your search for 36734 returns 1321 document(s)
First-order logic and automated proving
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Proving that Programs Are Differentially Private (3-18)
Author: Annabelle Mclver Carroll Morgan; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The C odyssey OS/2 & PM: intro infinite worlds
Author: Gandhi, Meeta; | Call Number: 005.43 Gan c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Linear programming in infinite dimensial spaces theory and applications
Author: Anderson, Edward G.; | Call Number: 519.72 And l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
On the Representation of Infinite Temporal Data and Queries (280-290)
Author: Marianne Baudinet Marc Niezette Pierre Wolper; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Relational Specifications of Infinite Query Answers (174-183)
Author: Jan Chomicki Tomasz Imielinski; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The HR program for theorem generation, Hal. 285-289
Author: Simon Colton; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A coding theorem for distributed computation,Hal 790-799
Author: Sridhar Rajagopalan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Decisions, Uncertainty, and Computation; Mini-Buckets: A General Scheme for Bounded Inference
Author: R. Dechter, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Greed is good: approximating independent sets in sparse and bounded-degree graphs,Hal 439-448
Author: Magnus M.Halldorson; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   2 3 4 5 6 7 8 9 10 11  Next