Your search for 13437 returns 4369 document(s) |
Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach, page 478-526 |
Author: M. F. Frias, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Heuristic reasoning about uncertainty: an artificial intelligence approach |
Author: Cohen, Paul R.; | Call Number: 006.3 Coh h | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Heuristic reasoning about uncertainty: an artificial intelligence approach |
Author: Cohen, Paul R.; | Call Number: 006.3 Coh h | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SNIAFL: Towards a Static Noninteractive Approach to Feature Location, page 195-226 |
Author: W. Zhao, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Qualitative reasoning about physical systems |
Call Number: 006.6 Qua | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in computer science: modelling and reasoning about systems |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A model-based approach for estimating human 3D poses in static images, page 905 |
Author: M.W. Lee | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Algebraic Approach to Static Analysis of Active Database Rules |
Author: E. Baralis, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Networks crowds and markets: reasoning about a highly connected word |
Author: Easley, David; | Call Number: 303.48 Eas n | Type: E-book
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in computer science:Modelling and reasoning about systems 2nd ed. |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|