Your search for 54072 returns 731 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
|