「Predicate calculus」を含む例文一覧(7)

  • a branch of logic called predicate calculus
    論理学における,述語計算 - EDR日英対訳辞書
  • relationship between the expressive power of description languages and that of query languages based on predicate calculus
    記述言語の表現力と,述語計算法(predicate calculus)に基づく問い合わせ言語の表現力との関係 - コンピューター用語辞典
  • The mx series is based on first order predicate calculus.
    MXシリーズは微積分に 基づいた予測で動くんです - 映画・海外ドラマ英語字幕翻訳辞書
  • The mx series is based on first order predicate calculus.
    mxシリーズは微積分に 基づいた予測で動くんです - 映画・海外ドラマ英語字幕翻訳辞書
  • a rule that shows whether a predicate calculus is formed or not, called resolution principle
    融合原理という,述語論理式が成立するかしないかを表す規則 - EDR日英対訳辞書
  • The relational model allows the formal definition of an user oriented language, based on applied predicate calculus.
    この関係モデルは、応用述語計算に基づくユーザオリエンテッド言語の形式的定義を可能にする。 - コンピューター用語辞典
  • The adoption of a relational model of data permits the development of a universal data sublanguage based on an applied predicate calculus.
    データ関係モデルの採用は、応用述語計算法に基づく普遍的データ準言語の開発を可能にする。 - コンピューター用語辞典

例文データの著作権について