...
机译:Thermema中Zermelo-Fraenkel集理论的自动证明者
RISC Institute, A-4232 Hagenberg, Austria;
automated theorem proving; set theory; theorema;
机译:集合的局部理论是分类理论的基础,并且与Zermelo-Freankel集合论相关
机译:Singleton集是否符合选择公理的Zermelo-Fraenkel集理论?
机译:Zermelo-Fraenkel集理论中的Tarski集的规范形式
机译:用Zermelo-Fraenkel(ZF)设定理论:自动扣除的选择性的一致性:自动扣除
机译:角集的语义参数调制(逻辑,等式,定理证明)。
机译:为什么不更努力地证明自动体外除颤器可以挽救生命呢?
机译:Thermema中Zermelo–Fraenkel集理论的自动证明者
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。