Theorem proving; Query languages; Automatic control; Logic programming; Artificial intelligence; Semantics; Syntax;
机译:重组人促红细胞生成素在肾脏移植中的肾保护作用:实验事实和临床证明。
机译:肾移植重组人促红细胞生成素的肾反应性能:实验事实和临床证明。
机译:预测抗滴虫活性:使用基于原子的双线性指数和实验证明进行的计算筛选。
机译:强大的不变性,用于高效建设的手机检查的协议。安全证明。
机译:高等数学中的认知:一项探索性研究,重点在于证明的理解和作用。
机译:CUFID查询:通过基于随机游走的网络流量估计进行精确的网络查询
机译:有效构建机器检查的符号协议安全性证明。