| Your search for 36735 returns 16 document(s) |
| Well-foundedness is sufficient for completeness of ordered paramodulation, Hal. 456-470 |
|
Author: Miquel Bofill, Albert Rubio; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A many-sorted calculus based on resolution and paramodulation |
|
Author: Walther, Christoph; | Call Number: 511.3 Wal m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient Processing of Ordered XML Twig Pattern (300-309) |
|
Author: Jiaheng Lu
Tok Wang Ling
Tian Yu
Changqing Li
Wei Ni; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On completeness of historical relational query languages, page 64 |
|
Author: Clifford, James | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Knowledge Graph Completeness Analytics: Case Study of Wikidata |
|
Author: Avicenna Wisesa; | Call Number: SK-1695 Softcopy SK-1177 | Edition: Fariz Darari | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ordered similarity measures taking into account the rank of documents, page 603 |
|
Author: Christine Michel | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A note on the correlation bounds for some ordered random variables,hal 79-87 |
|
Author: A.H. Khan, Zaki Anwar, Mohd. Faizan | Call Number: Vol. 24 (2013): 1 | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Feature Selection by Ordered Rough Set Based Feature Weighting (105-112) |
|
Author: Qasem A. Al-Radaideh
Md Nasir Sulaiman
Mohd Hasan Selamat
Hamidah Ibrahim; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Sufficient Condition for strong equivalence under the well-founded semantics, ((LNCS-Lecture Notes in Computer Science 3668) Hal 414-415 |
|
Author: Christos Nomikos; Panos Rondogiannis; William W. Wadge; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers and intrability: a guide to the theory of NP-completeness/Michael R. Garey |
|
Author: Garey, Michael R.; | Call Number: 005.1 Gar c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result