| Your search for 13334 returns 3894 document(s) |
| Incremental Maintenance of Shortest Distance and Transitive Closure in First-Order Logic and SQL, page 698-721 |
|
Author: C. Pang, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Compression technique to materialize transitive closure, page 558 |
|
Author: H.V. Jagadish | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order logic and automated proving |
|
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Transitive closure algorithms based on graph traversal, page 512 |
|
Author: Loannidis, Yannis | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking and transitive-closure logic, (LNCS-Lecture Notes in Computer Science 1254) Hal 291-302 |
|
Author: Neil Immerman; Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis Semantik dengan Representasi “First Order Logic” dalam Sistem Tanya Jawab |
|
Author: Hapnes Toba; | Call Number: TR-CSUI-011-2010 | Type: Technical Report
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Constructing transitive closure on multigraph with adjacency hypredges matrix (hal 111-119) |
|
Author: Soetrisno, Nora Hariadi, Heru Suhartanto; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| First-order tree-type dependence between variables and classification performance, page 233 |
|
Author: S. Raudys | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Shortest-Substring Retrieval and Ranking, page 44-78 |
|
Author: Charles L. A. Clarke, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result