＞数理逻辑与数学基础＞递归论＞释义 Godel numbering 哥德尔编码
理论计算机科学 可计算性与计算复杂性 释文 Godel numbering 哥德尔配数
- possible value
- possible world
- Possible World Semantics
- possible world semantics
- POS-supported aerotriangulation
- Post
- post
- post-
- postabdomen
- post AGB star
- postage meter/franking machine
- postage stamp problem
- postage vouchers
- POS tagging
- POS tagging algorithm
- postal appliances
- postalare
- postalbumin
- postal charge administration
- postal communication geography
- postal date stamp
- postal delivery
- postal distribution
- postal distribution net
- postal distribution of newspapers and periodicals