... 有限可公理化 axiomatizable 公理化程序模型 axiomatic program model 公理化量子理论 axiomatic quantum theory ...
基于8个网页-相关网页
axiomatic program model
公理程序模型
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动