「predicates」の共起表現一覧(1語右で並び替え)
該当件数 : 37件
| nd variables which were bound in the unified | predicates also occur in other predicates in the two cl |
| ic programming, such as infinite trees, lazy | predicates, and concurrent communicating predicates. |
| te Prolog applications that use Java foreign | predicates and that make use of multi-threading. |
| Predicates and functions of real numbers need to be def | |
| Even when restricted to | predicates and proper classes definable in first order |
| odes of knowledge representation like terms, | predicates and very complex propositional systems like |
| tely analyzed in terms or monadic and dyadic | predicates, and (b) triads are sufficient because there |
| In the §-Calculus, syntactic | predicates are originally called simply predicates, but |
| In set theory, | predicates are understood to be characteristic function |
| covering as many previously uncovered design | predicates as possible with each new test. |
| ed not to English adjectives, but to English | predicates, as this is how they function grammatically |
| d-order logic keeps the requirement that all | predicates be unary, but allows for quantification over |
| can be used in a goal literal and arbitrary | predicates can occur in conditions of equations. |
| Semantic | predicates extend this capability to interesting non-co |
| imes real, furnishes us the means of turning | predicates from being signs that we think or think thro |
| Each of the four types of design | predicates have an associated integration complexity ra |
| is a conjunctive query without distinguished | predicates, i.e., a query in the form , where each Ri i |
| The effects of actions are given using the | predicates Initiates and Terminates. |
| onary semantic theories that avoid analysing | predicates like "x is true" as expressing a real proper |
| The | predicates locked and open represent the conditions of |
| Also, some combinations of design | predicates might be logically impossible. |
| The module system controls the visibility of | predicates, non-logical stores, source transformations |
| where D, M and H denote the | predicates of being, respectively, a dog, a mammal, and |
| RCGs aim to reduce a start predicate (which | predicates of a terminal string) to the empty string, w |
| mmutativity of conjunction demonstrates that | predicates on both sides of a logical conjunction opera |
| tablishment of the state of Israel, which he | predicates on the commission of atrocities against the |
| he domain, the fluents are modeled as either | predicates or functions. |
| ng the feasibility of conjunctions of theory | predicates passed on to it from the SAT solver as it ex |
| a lightweight protocol (few OWL classes and | predicates; see the SSWAP Protocol) and the concept of |
| ions and processes to their operands to form | predicates, statements, and relational phrases. |
| ws the extension writer to support any query | predicates that they choose. |
| les governing the order of elements, Boolean | predicates that the content must satisfy, data types go |
| Set-builder notation makes use of | predicates to define sets. |
| ccountability, he is author of Microeconomic | Predicates to Law and Economics (Anderson Pub. |
| annot nest usefully if there are no polyadic | predicates to relate the bound variables. |
| predicates, which are functions that return proposition | |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|