Search Result Save to File Save as CSV
Your search for 54072 returns 714 document(s)
F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146)
Author: Michael Kifer Georg Lausen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
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 
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 
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 
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 
On Higher Order Derivatives of Blending Funtions, page 309-318
Author: T. Hermann, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Higher-Order Architectural Connectors, page 64-104
Author: A. Lopes, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Higher-order equational logic programming,Hal 254-267
Author: Zhenyu Qian; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Parallel Higher-Order SVD For Tag-Recommendations (257-265)
Author: Philipp Shah Cristoph Wieser Francosis Bry; | Call Number: SEM-329 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The scheme programming language/ R. Kent Dybvig
Author: Dybvig, R. Kent; | Call Number: 005.1 Dyb s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next