Inquisitive logic; logic of questions; dependence logic;
机译:最好的工程师是好奇,质疑和创造力的人”
机译:从建构场论到分数阶随机演算。 (II)Hurst指数α∈(1 / 8,1 / 4)的分数布朗运动的Lévy区域的收敛性的构造性证明。
机译:从构造场论到分数阶随机演算。 (II)具有Hurst指数a(frac18,frac14){{alpha},{in},(frac {1} {8},frac {1} {4}的分数布朗运动的Lévy区域的收敛性的构造性证明。 )}
机译:疑问依赖性和好奇证明的建设性内容
机译:学习程序内容生成的建设性原语
机译:动脉压变化作为自发性呼吸依赖者预紧依赖的生物标志物–原理证明
机译:论证据的构成要件
机译:Gohberg-semencul公式的构造证明。