Search Result Save to File Save as CSV
Your search for 13437 returns 4350 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 
Prev   1 2 3 4 5 6 7 8 9 10  Next