recursively axiomatizable
英 文 recursively axiomatizable
中 文 遞迴可公理化
出 處 數學名詞-兩岸數學名詞
相關詞匯
recursively axiomatizable 遞迴可公理化 【數學名詞-兩岸數學名詞 】
recursively axiomatizable 遞迴可公理化 【數學名詞】
recursively defined sequence 遞迴定義序列 【資訊與通信術語辭典】
recursively-enumerable language 遞迴可枚舉語言 【電子計算機名詞】
recursively enumerable set 遞迴可枚舉集 【電子計算機名詞】
recursively enumerable language 遞迴可枚舉語言 【電子計算機名詞】
recursively defined variable 遞迴定義變數 【電子計算機名詞】
recursively defined sequence 遞迴定義序列 【電子計算機名詞】
recursively defined operating system 遞迴定義作業系統 【電子計算機名詞】
recursively 遞迴 【電子計算機名詞】
recursively enumerable set 遞迴可數集 【數學名詞-兩岸數學名詞 】
recursively enumerable set 遞迴可數集 【數學名詞】
▸ CoQ