Department of Computer Science, University of Torino, Italy;
Universite Lille-Nord de France, Artois, CRIL,CNRS UMR 8188 - IUT de Lens, F-62307, France;
Computer Science and Communication, University of Luxembourg, Luxembourg;
机译:一种用于计算动态抽象议论框架的基础扩展的增量算法
机译:关于抽象论证语义的拓扑相关属性。对论证系统动力学的修正和扩展:基于除法的方法
机译:动态双极论框架中有效计算稳定和首选扩展的元论论方法
机译:单个扩展的论证中的动态:抽象原则和接地扩展
机译:使用Rasmussen的抽象层次结构的扩展作为框架来设计复杂动态系统的监控系统。
机译:单分子原子力显微镜恒力作用下右旋糖酐延伸的分子动力学模拟
机译:单一扩展论证中的动态:抽象原则和基础扩展
机译:将参数原理和奈奎斯特准则扩展到无界发生器系统