Dipartimento di Informatica, Universita degli Studi di Verona, Italia;
机译:基于重写的可满足性过程的新结果
机译:广义约束图的可确定片段的决策过程
机译:actin灯丝网络中的可判定和未定定的算术功能
机译:纳尔逊对立和基于重写的决定程序的可辨赖性和不可思议的结果
机译:主要决定:使用Photovoice研究来帮助学生决定研究和/或职业领域
机译:决定何时决定:时变顺序抽样模型解释人脑中基于价值的决策的出现
机译:Nelson-Oppen的可判定性和不可判定性结果以及基于重写的决策程序
机译:审查/决定和调查/决定。两种决策方法。团队合作伙伴会议报告。项目RIsCOm