Research Institute for Symbolic Computation, Johannes Kepier University Linz A-4040 Linz, Austria;
机译:关于允许函数符号的有限谓词逻辑程序索引集的复杂性
机译:关于允许函数符号的有限谓词逻辑程序索引集的复杂性
机译:可变长度符号序列的有效矢量表示
机译:序列变量和序列功能符号的谓词逻辑
机译:突变和可变表达对囊性纤维化跨膜电导调节器功能的影响。
机译:逻辑最小化和规则提取可识别分子序列中的功能位点
机译:带有序列变量和序列函数符号的谓词逻辑