Laboratoire Preuves Programmes Systemes CNRS Universite Paris 7 - Denis Diderot;
Laboratoire Preuves Programmes Systemes CNRS Universite Paris 7 - Denis Diderot;
Laboratoire Preuves Programmes Systemes CNRS Universite Paris 7 - Denis Diderot;
机译:线性逻辑的自由指数模态的显式公式
机译:关于序列的Banach空间和自由线性逻辑指数模态
机译:550-
机译:线性逻辑自由指数模态的明确公式
机译:认知悖论和显性模态逻辑。
机译:强大的...... - 在不确定非线性扰动存在下用于增强轮式移动机器人的跟踪性能的模糊逻辑控制
机译:线性逻辑的自由指数模态的显式公式
机译:显式可证性:直觉和模态逻辑的预期语义