义项 · Sense

semi-axiomatic sequent calculus

半公理化相继式演算

建议改译查看词条总览

本站译名证明论与形式系统义项编号TS-2648

英文别名: SAX

外文出处

登录后提交

暂无外文出处。

参考链接

香蕉空间半公理化逻辑

社区核验

登录后纠错

已有 0 人核验

外文出处与原书一致0 人
参考链接直达该概念0 人
别名与分类恰当0 人
译名符合规格0 人