Technische Universitat Wien, Institut fur Informationssysteme 184/3,FavoritenstraBe 9-11, A-1040 Vienna, Austria;
Technische Universitat Wien, Institut fur Informationssysteme 184/3,FavoritenstraBe 9-11, A-1040 Vienna, Austria;
机译:前言:三值逻辑及其应用
机译:Prior的三值模态逻辑Q及其可能的应用
机译:极化多项式形式的布尔代数函数系统和三值逻辑函数系统的复杂性
机译:具有应用程序的三维逻辑的绅士型驳斥系统,以讨厌强大的等价
机译:用定义,算术和有限域进行一阶逻辑的证明
机译:推进DNA计算材料的力量:创新DNA逻辑计算系统和智能生物应用的最新进展
机译:用于三值逻辑的Gentzen类型引用系统及其在证明强等价上的应用⋆