1) Initial semiosis
一级符号化
2) Secondary semiosis
二级符号化
3) automatic ship class notation
自动化船级符号
4) the Symbolic
符号级
5) ice class notation
冰级符号
6) Maltese cross
船级符号
补充资料:公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条