Skolem

网络  斯科朗; 斯柯伦; 司寇伦; 斯柯林; 斯科伦

计算机



双语例句

  1. According to Skolem theorem, there exist several modes of semantic explanation for any formal system.
    斯科伦定理指出,任意一个形式系统,都存在可数多个语义解释方式。