Algorithms; Programming languages; Computer techniques; Deduction; Algebra; Theorem proving;
机译:2%Lidocaine盐酸盐溶液作为Councopulary变量对胆管胆管的植入牛仔毒性乳腺癌施用的牛仔毒性剂量的影响
机译:双仿真和共归增强:历史的角度
机译:共生:自动机,形式证明,伴侣(特邀论文)
机译:使用双向仿真技术在Coq中进行循环共归纳
机译:谓词答案集编程与共归。
机译:N端域对StAR的调控以及SIK1和TIS11b / Znf36l1在单细胞中的共诱导
机译:基于广义圆形诱导的功能逻辑程序设计