WebOPAC Local書誌詳細

ログイン

書誌詳細

図書館

検索結果一覧へ戻る

述語論理と論理プログラミング

有川節夫, 原口誠共著. -- オーム社, 1988. -- (知識工学講座 ; 4). <BB10022024>

(0)

(0)

(0)

(0)

(0)

登録タグ：

登録されているタグはありません

便利機能：

目次・あらすじを見るレビューを見る詳細情報を見る

書誌URL：

述語論理と論理プログラミング

有川節夫, 原口誠共著. -- オーム社, 1988. -- (知識工学講座 ; 4). <BB10022024>

(0)

(0)

(0)

(0)

(0)

登録タグ：

登録されているタグはありません

便利機能：

目次・あらすじを見るレビューを見る詳細情報を見る

書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約	WEB書棚
0001		宇都宮	1F 集密書架和書	007/C48/4	10004717			0件


No.	0001
巻号
所蔵館	宇都宮
配置場所	1F 集密書架和書
請求記号	007/C48/4
資料ID	10004717
状態
返却予定日
予約	0件
WEB書棚

このページのTOPへ

目次・あらすじ

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

述語論理と論理プログラミング / 有川節夫, 原口誠共著
ジュツゴロンリトロンリプログラミング

出版・頒布事項

東京 : オーム社 , 1988.5

形態事項

vii, 217p ; 22cm

巻号情報

ISBN	4274073866

書誌構造リンク

知識工学講座||チシキコウガクコウザ <BB10122622> 4//a

注記

参考文献: p[211]-213

学情ID

BN02198061

本文言語コード

日本語

著者標目リンク

有川, 節夫||アリカワ, セツオ <AU20002913>

著者標目リンク

原口, 誠||ハラグチ, マコト <AU10032200>

分類標目

情報科学 NDC8:007.64

分類標目

NDC7:418.6

分類標目

NDC7:549.92

分類標目

科学技術 NDLC:M159

件名標目等

電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング

件名標目等

プログラミング(電子計算機)||プログラミング(デンシケイサンキ)

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ