英文字典中文字典Word104.com
|
metalanguage n. 語言分析用的語言 語言分析用的語言 metalanguage 元元語言 metalanguage 元語言 ML meta-language 元語言 metalanguage 元語言 metalanguage n 1: a language that can be used to describe languages metalanguage \metalanguage\ n. Any language that can be used to describe another language or system of symbols. [WordNet 1.5] 1. [theorem proving] A language in which proofs are
manipulated and tactics are programmed, as opposed to the logic itself (the "{object language}"). The first {ML} was the metalanguage for the Edinburgh {LCF} proof assistant. 2. [logic] A language in which to discuss the truth of statements in another language.
請選擇你想看的字典辭典:
|
安裝中文字典英文字典查詢工具!
英文字典中文字典相關資料:
|
中文字典-英文字典 2005-2009
|中文姓名英譯,姓名翻譯 |简体中文英文字典