Search Result
| Your search for 51944 returns 34 document(s) |
| 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 |
| Disjunctive datalog |
| Author: Thomas Eiter | Type: Indeks Artikel Jurnal |
| Find Similar | Add To Favorites | Detail in New Window |
| On Negation in HiLog (206-215) |
| Author: Kenneth A. Ross; | Call Number: SEM-350 | 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 |
| "Induction, Recursion, and Programming" |
| Author: Wand, Mitchell; | Call Number: 005.1 Wan i | Type: Buku Pusat |
| Find Similar | Add To Favorites | Detail in New Window |
| Recursion Schemes in Coq (202-221) |
| Author: Kosuke Murata Kento Emoto; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| On the Power of Algorithm with Recursion (377-386) |
| Author: Catriel Beeri Tova Milo; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| On the complexity of negation-limited boolean networks,hal 38-47 |
| Author: Keisuke Tanaka; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Design and Implementation of 32-Bit RISC Microprocessor Core A Hypothetical Microprocessor on FPGA (270-276) |
| Author: Sarwono Sutikno Gede Indrawan; | Call Number: SEM-247 | 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 |
| Prev 1 2 3 4 Next |