靡替

删修

shān xiū

1.删改修订。

形式化方法

xíng shì huà fāng fǎ

把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消…

余足

yú zú

1.指未尽的足力。

松皮

sōng pí

1.松树皮。古时经制作，可为菜，亦可入药。金朱弁有《北人以松皮为菜予初不知味虞侍郎分…

麻石

má shí

1.即花岗石。

席位

xí wèi

在会场上所占有的座位。在现代议会中指当选的人数中国代表团在联合国的席位｜在议会竞选中…