...
机译:通过抽象证明系统演绎系统的异质纤维
SQIG-IT and Dep. Informatics FC U Lisbon;
机译:抽象希尔伯特演绎系统,信息逻辑和数据记录
机译:菲亚特:证明助手中抽象数据类型的演绎综合
机译:菲亚特:证明助手中抽象数据类型的演绎综合
机译:论演绎和抽象论证系统联系的复杂性
机译:增强Nuprl证明开发系统并将其应用于计算抽象代数。
机译:科学示范文摘。演示文摘:计算机辅助医疗决策支持系统:基于实用知识的医疗系统肝病学助理
机译:演绎系统通过抽象证明系统的异质纤维