Back
Hol
CEB
Hol
German
Hol
English
HOL
Esperanto
HOL
Estonian
HOL
French
HOL
Italian
HOL
Korean
Hol
LI
Hol
Dutch
HOL
HOL
高階述語論理
(
higher-order logic
)
オランダ
の旧
IOCコード
このページは
曖昧さ回避のためのページ
です。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。
このページへリンクしているページ
を見つけたら、リンクを適切な項目に張り替えて下さい。
From
Wikipedia
, the free encyclopedia · View on
Wikipedia
Developed by
Nelliwinne