Institute of Information Sciences and Electronics University of Tsukuba Tsukuba, Japan;
continuation; CPS-translation; axiomatization;
机译:定界连续性的健全而完整的公理化
机译:公理化子类型定界连续
机译:健全而完整的多数公理化-逻辑
机译:分隔持续的声音和完整的公理化
机译:对称加密形式逻辑的健全性和完整性。
机译:使用完整的塑料作为超级条形码来解密ottelia acuminata(氢淀粉)的分类划分的分类划分
机译:定界延续的完整公理化
机译:具有记忆的程序之间操作等效的完整公理化