演绎资料库

演绎资料库

拼音： yǎn yì zī liào kù
日本語訳 演繹データベース、演繹的データベース、推論データベース