...
机译:使用替代树的高阶术语索引
Department of Computer Science, McGill University, 845 Sherbrooke St. W. Montreal, Quebec, Canada H3A 2T5, Canada;
indexing; type theory; logical frameworks;
机译:带编码上下文树的快速索引
机译:确定控制板坯崩解的准脆性拉伸断裂参数的高阶方法和原位分度的新工具
机译:模糊术语,索引和模糊索引
机译:高阶替代树索引
机译:用于数学表达式的基于布局的替换树索引和检索。
机译:HBase中大空间数据相似性查询的基于象限的最小边界矩形树索引方法
机译:使用替代树的高阶术语索引
机译:maTRIs索引和检索词库(mIRT):索引术语的分层列表。