タグ「数理論理学」（1語）

自動推論じどうすいろんコンピュータを用いて推論の諸側面を理解し、完全あるいはほぼ完全な自動推論を行うソフトウェアの開発を目指す計算機科学と数理論理学の一分野。 007 情報学・情報科学

タグの一覧へ