| Your search for 16126 returns 1821 document(s) |
| Supporting valid-time indeterminacy |
|
Author: Curtis E. Dyreson | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The computer modeling of mathematical reasoning |
|
Author: Bundy, Alan; | Call Number: 006.3 Bun c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bayesian reasoning and machine learning |
|
Author: Barber, David; | Call Number: 006.31 Bar b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Knowledge representation and reasoning |
|
Author: Brachman, Ronald J.; | Call Number: 006.332 Bra k | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Supporting collaboration with loose relationship, Hal 52-58 |
|
Author: Shin-ya Sato; Tatsuro Murakami; | Call Number: SEM-195 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal Statement Modifiers |
|
Author: M. H. Bohlen, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal FDs on complex objects |
|
Author: Wijsen | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal aspects of concurrency control on long-duration transaction systems using the NT/PV model, page 492 |
|
Author: Korth, Henry F. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A type-2 fuzzy control traffic policing mechanism schemes model over high speed network using backpressure technique, 1-5 |
|
Author: Somchai Lekcharoen; | Call Number: SEM-349 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result