ホーム > 商品詳細

計算論理に基づく推論ソフトウェア論 

山崎 進  著

在庫状況 お取り寄せ  お届け予定日 1週間  数量 冊 
価格 \2,750(税込)         

発行年月 2000年05月
出版社/提供元
言語 日本語
媒体 冊子
ページ数/巻数 190p
大きさ 21
ジャンル 和書/理工学/情報学/人工知能
ISBN 9784339023732
商品コード 0100042846
NDC分類 007.13
基本件名 人工知能
商品URL
参照
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0100042846

著者紹介

山崎 進(著者):京都大学大学院修士課程修了(電気工学第二専攻)。工学博士。現在、岡山大学教授。

内容

知識と推論は、人工知能と計算機構の接点となる。推論に焦点を当てて、推論のためのソフトウェア論として論理プログラミング系における演繹とアブダクションの体系をまとめる。〈ソフトカバー〉

カート

カートに商品は入っていません。