University of Windsor (Canada).;
机译:通过IZF集理论语义从构造性HOL证明中提取程序
机译:非线性系统分析,估计和控制中的集合论方法
机译:基于集合理论的执行器故障检测与隔离
机译:形容词-名词组合语义的两种集合论方法
机译:扩展了Montague语义的集合论实现,以适应n元及物动词。
机译:在语义和赌博任务中对预期违规的电生理反应:不同EEG参考方法的比较
机译:荷兰语中最小形容词 - 名词短语的语义和句法组成:梅格研究
机译:直接推理和比喻形容词 - 名词组合的结构化联结主义方法。