検索結果 「著者:山崎 進」検索結果 絞り込み 情報工学 在庫あり 在庫僅少 立ち読みあり 電子版あり 教科書向け レビューあり ※書籍在庫がない場合でも電子版がある場合があります。電子版ありにチェックをつけてください。 再検索 さらに詳細に絞り込む 1件中 1件 - 1件 表示順 発行年月日降順 発行年月日昇順 表示件数 15件 30件 50件 100件 1 計算論理に基づく 推論ソフトウェア論 山崎 進 岡山大大学院教授 著 知識と推論は,人工知能と計算機構の接点となる研究対象の一つである。本書では,推論に焦点を当てて,論理プログラミングの体系として,演繹推論,否定命題を扱う系の意味論,説明推論に関する従来の結果と新たな視点をまとめた。 発行年月日 2000/05/26 定価 2,750円(本体2,500円+税) ISBN 978-4-339-02373-2 在庫僅少 詳細を見る 1件中 1件 - 1件 1
計算論理に基づく 推論ソフトウェア論 山崎 進 岡山大大学院教授 著 知識と推論は,人工知能と計算機構の接点となる研究対象の一つである。本書では,推論に焦点を当てて,論理プログラミングの体系として,演繹推論,否定命題を扱う系の意味論,説明推論に関する従来の結果と新たな視点をまとめた。 発行年月日 2000/05/26 定価 2,750円(本体2,500円+税) ISBN 978-4-339-02373-2 在庫僅少 詳細を見る