Search Result
| Your search for 16120 returns 189 document(s) |
| Safe stratified datalog with integer order does not have syntax |
| Author: Alexei P. Stolboushkin | Type: Indeks Artikel Jurnal |
| Find Similar | Add To Favorites | Detail in New Window |
| Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23 |
| Author: J. Bergstra; | Call Number: 004 Lec | Type: Indeks Artikel LNCS |
| Find Similar | Add To Favorites | Detail in New Window |
| Disjunctive datalog |
| Author: Thomas Eiter | Type: Indeks Artikel Jurnal |
| Find Similar | Add To Favorites | Detail in New Window |
| Safe constraint queries, Hal. 99-108 |
| Author: Michael Benedikt; Leonid Libkin; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Tools for Datalog Boundedness (1-12) |
| Author: Gerd G. Hillebrand Paris C. Kanellakis Herry G.Mairson Moshe Y. Vardi; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Syntax analysis and software tools |
| Author: Gough, K. John; | Call Number: 415.028 Gau s | Type: Buku Pusat |
| Find Similar | Add To Favorites | Detail in New Window |
| Safe qury languages for constraint database |
| Author: Peter Z Revesz | Type: Indeks Artikel Jurnal |
| Find Similar | Add To Favorites | Detail in New Window |
| Hypothetical Datalog Negation and Recursion (286-300) |
| Author: Anthony J. Bonner; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| On Datalog vs Polynomial Time (13-25) |
| Author: Foto Afrati Stavros S.Cosmadakis Mihalis Yannakakis; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Integer and combinatorial optimization |
| Author: Nemhauser, Geoge L.; | Call Number: 519.77 Nem i | Type: Buku Pusat |
| Find Similar | Add To Favorites | Detail in New Window |
| Prev 1 2 3 4 5 6 7 8 9 10 Next |