来自刘梅花的问题
【英语翻译不是网上的那些什么翻译以及这个词组是什么意思auto-maticabstraction,abstraction这个单词除了抽象类似的意思在机械方面的话还具有什么意思auto-maticabstraction的原句是wedescribeasyste】
英语翻译
不是网上的那些什么翻译以及这个词组是什么意思auto-maticabstraction,
abstraction这个单词除了抽象类似的意思在机械方面的话还具有什么意思
auto-maticabstraction的原句是wedescribeasystemforautomaticallysynthesizingsimulators,whicharesuitedformodelcheckinginthattheysupportauto-maticabstraction.
