| Your search for 38058 returns 20 document(s) |
| Decidable bounded quantification,Hal 151-162 |
|
Author: Giuseppe Castagna; Benjamin C.Pierce; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On complexity as bounded rationality,Hal 726-733 |
|
Author: Christos H.Papadimitriou; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Resource-bounded searches in an information marketplace, page 49 |
|
Author: Victor Lesser | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimality and domination in repeated games with bounded players,Hal 741-749 |
|
Author: Lance Fortnow; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specifying timed state sequences in powerful decidable logics and timed automata, Hal. 69-80 |
|
Author: Thomas Wilke; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Quantification and identification of marine target using acoustical remote sensing, Hal. 133-136 |
|
Author: Henry M. Manik; | Call Number: SEM-303 | 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
|
| Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
|
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Expressibility of Bounded-Arity Fixed-Point Query Hierachies (324-335) |
|
Author: Pratul Dublish
S.N. Maheshwari; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result