Microsoft Research;
MPI-SWS;
IMDEA Software Institute;
MPI-SWS;
interactive theorem proving; custom proof automation; coq; canonical structures; type classes; tactics; hoare type theory;
机译:如何减少临时证明自动化的临时性
机译:如何减少临时证明自动化的临时性
机译:车载Ad Hoc网络中基于自适应组的零知识证明认证协议
机译:如何使Ad Hoc证明自动化减少临时
机译:由当地青年俱乐部曲棍球组织,加拿大管理曲棍球组织,初级少校和大专院校曲棍球组织招募和保留加拿大未成年人曲棍球运动员:探索加拿大的精英曲棍球发展体系。
机译:一项双盲安慰剂对照随机多中心概念验证和剂量确定的II期临床试验用于研究败血性休克和肾上腺髓质素浓度升高(AdrenOSS-2)患者中阿德珠单抗的安全性耐受性和疗效
机译:如何使临时证明自动化不那么特别
机译:基于一维冲击传播考虑的地震冲击现象预测程序。报告2.土壤冲击管中加载 - 卸载应力波相互作用的实验研究