decidable

常見例句

P is also known to be at least as large as L , the class of problems decidable in a logarithmic amount of memory space.
P 也已知至少大于L 一個(gè)可在對數(shù)量級的記憶體空間上決定的問題的類別。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述邏輯是一種知識表示的形式化語言,是一階邏輯的可判定子集。
For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity.
對具可決定性的算術(shù)句型，我們并給出了其計(jì)算繁度的上界與下界。
Dynamic context and steady context are decid ed by the variability and steadiness of context factors.
它是與具體的語用行為密切聯(lián)系的、同語用過程相始終的、對語用活動(dòng)有重要影響的條件和背景 ;
They wanted to have a plant in it that was easy to take care of, so they decid...
于是，做冬成了一年中一個(gè)頗重要的家庭項(xiàng)目。
First you must give details of their Google account, then once loadedtheir calendars to Google is possible to decid...
GSync是Windows Mobile，為同步事件和您的掌上電腦與谷歌日歷時(shí)間安排工具。