一阶公式相关论文
讨论群的命题的可满足性，证明了超积ПＤ Ｓｎ中有秩≥２的自由群，如果群Ｇ满足存在公式φ并且Ｇ同构于ΠＤ Ｓｎ的一个子群，则存在有限群满足ψ。......
给出了XPath语义的简洁定义，使用XPath标准的语法格式说明查询步骤，并通过一个具体实例说明定位路径的方法，实现了XPath与XSLT结合的X......
