兵庫県立図書館
トップメニュー
資料検索
利用登録申込
資料紹介
開館日
カレンダー
Myライブラリ
レファレンス
ふるさとがわかるデータベース
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
【図書】 述語論理と論理プログラミング ( 知識 工学 講座 4 )
有川 節夫 著 -- オーム社 -- 1998 --
新着図書お知らせサービス
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
資料コード
請求記号
所蔵館
所蔵場所
資料区分
状態
102905031
/401/350/
県立図書館
書庫2層
和書
在
状態の表記について
在:「所蔵場所」にあります。
貸出中:館外へ貸出中です。
館内閲覧:館内でご利用ください。館外貸出はできません。
図書館用:館内でご利用ください。図書館(団体)向けに貸し出す資料です。
ページの先頭へ
資料詳細
詳細切替
タイトル
述語論理と論理プログラミング
叢書名
知識 工学 講座 4
著者
有川 節夫 著
,
原口 誠 著
出版者
東京 オーム社
出版年
1998
ページ数
217p
大きさ
22cm
一般注記
3刷(1992.3)
内容細目注記
参考文献:p211~213
ISBN
4274073866
ページの先頭へ