量词消去
数学名词
量词消去（elimination of quantifier）是1993年公布的数学名词。
公布时间
1993年，经全国科学技术名词审定委员会审定发布。
出处
《数学名词》第一版。
参考资料
量词消去.术语在线.
最新修订时间：2022-04-03 13:08
条目作者
小编
目录
概述
公布时间
出处
参考资料

Copyright©2024 闽ICP备2024072939号-1