| Your search for 38065 returns 1225 document(s) |
| 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
|
| Equational logic as a programming language/ Michael J. O'Donnell |
|
Author: O'Donnell, Michael J.; | Call Number: 005.13 Odn | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| 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 logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming |
|
Call Number: 005.115 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Solving for set variables in higher-order theorem proving, Hal. 408-414 |
|
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Aerofoil analysis using higher order vortex panel methods,Hal 94-111 |
|
Author: Hadi Winarto; | Call Number: SEM-200 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result