Search Result Save to File Save as CSV
Your search for 48039 returns 414 document(s)
Some connections between iterative programs, recursive programs, and first-order logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 150-166
Author: A.J. Kfoury; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Rule-based language with functions and sets, page 1
Author: Abiteboul S. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Changing the rules: transformations of rule-based optimizers, Hal. 61-72
Author: Mitch Cherniack; Stan Zdonik; | Call Number: SEM-244 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Rule Based Automated Pronunciation Generator (hal 37-40)
Author: Ayesha Binte Mosaddeque; | Call Number: SEM-369 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A RULE-BASED OBJECT/TASK MODELLING APROACH (281-294)
Author: QIMING CHEN; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A RULE-BASED OBJECT/TASK MODELLING APROACH (281-294)
Author: QIMING CHEN; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
On the Power of Rule-Based Languages with Sets (26-36)
Author: Kumar Vadaparty; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Evaluating the Size of Queries on Relational Databases with non Uniform Distribution and Stochastic Dependence (8-14)
Author: Silvio Salza Mario Terranova; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Termilog: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254) Hal 444-447
Author: N. Lindenstrauss; Y. Sagiv; A. Serebrenik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447
Author: N. Lindenstrauss, Y. Sagiv; A. Serebernik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next