机译:叉形箭头逻辑中的正方形
机译:论前叉箭头逻辑及其表达能力
机译:圆柱模态逻辑和箭头逻辑的下界计算
机译:Sketrack:基于笔划的箭头连接图和数字逻辑电路图的在线手绘草图的识别
机译:箭头定理在社交选择功能的模态逻辑中的句法证明
机译:来自一个废弃的银/铅矿的犹他州美国叉河北叉中地下水与地表水相互作用和金属负载率的地球化学。
机译:方形发热体中箭头形高导热频道的构造设计
机译:箭头逻辑和多模式逻辑,由Maarten Marx,LászlóPólos和Michael Masuch编辑。 CSLI出版物/ FoLLI,加利福尼亚州斯坦福。 (1996)。 247页。 59.95美元(精装本),22.95美元(平装本)
机译:箭的模态理论:箭头逻辑1