many-sorted logic（複数の不連続な種類（ソート）に対）とは - 英語 - 多言語

ログインすると広告が減り、学習に集中できます。

意味・例文の表示言語

検索内容:

many-sorted logic

(logic) A logic that directly supports classification of entities into disjunct sorts.

Researchers often use many-sorted logic to simplify formal specifications by assigning each variable to a specific sort.

活用形複数形

plural of many-sorted logic

原形: many-sorted logic

Many-sorted logics provide a robust framework for representing and reasoning about systems containing several different types of entities.

Webで検索する