Max-Planck-Institut fuer Informatik, D-66123 Saarbruecken;
机译:规范化重写和地面交流电完成模Shostak理论:设计和实现
机译:SMELS:具有懒惰叠加的可满足性模等式
机译:量子叠加/社会叠加与经典社会学理论
机译:叠加模动雪松理论
机译:统一模数公用列表函数讨论观察者理论的各种组合的模数复杂性和可判定性
机译:点剂量测量用于验证治疗计划系统的本地异形骨盆幻影用于Clarkson卷积叠加和快速叠加算法
机译:叠加模拟了肖斯塔克理论