Search Result
Save to File
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