...
IML-CNRS Aix-Marseille Université 163 av de Luminy case 907 13 288 Marseille cedex 9 France;
IML-CNRS Aix-Marseille Université 163 av de Luminy case 907 13 288 Marseille cedex 9 France;
Typed λ-calculus; non-commutative linear logic; order varieties; series-parallel orders; normalization;
机译:精神病学中的混合特征和混合状态:从微积分到几何
机译:通过超高效液相色谱/四极其飞行时间质谱(UHPLC-Q.JTOF-MS)结合主成分分析(PCA)方法,鉴定微积分BOVI及其混合品种。
机译:Banach空间值函数的强混合和分数阶微积分
机译:基于遗传算法的基于ARINC 664利用网络微积分的混合临界优化
机译:微积分工作组对微积分中学生成绩的有效性:一种混合方法。
机译:猫白血病病毒和猫免疫缺陷病毒阴性猫的牙龈炎与牙结石厚度或牙结石覆盖率和牙龈下细菌的关系
机译:微积分工作组对微积分中学生表现的有效性:一种混合方法
机译:命题演算声明转换为整数和混合整数规划:一种自动重构的方法。