机译:统一通信作为证明理论工具
Delft Univ Technol Fac Technol Policy & Management Jaffalaan 5 NL-2628 BX Delft Netherlands;
Southwest Univ Inst Log & Intelligence Tiansheng Rd 2 Chongqing 400715 Peoples R China;
Delft Univ Technol Fac Technol Policy & Management Jaffalaan 5 NL-2628 BX Delft Netherlands|Univ Johannesburg Dept Pure & Appl Math POB 524 ZA-2006 Auckland Pk South Africa;
Display calculi; unified correspondence; distributive lattice expansions; properly displayable logics;
机译:混合逻辑与经典逻辑对应的证明理论研究
机译:古典逻辑与模态逻辑对应的证明理论研究
机译:基于块对应关系探索时变体数据的统一框架
机译:与广义对应关系直接对齐:基于结构的视觉姿势估计的统一框架
机译:领导者评估和分析开发(LEAD)工具:对变量的统计分析,这些变量用于衡量在洛杉矶联合学区配备一名有效老师时每个教室配备人员的进度。
机译:统一医疗语言系统专家Lexicon和词汇工具:开发和应用
机译:统一通信作为证据理论工具