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