<Book>
述語論理と論理プログラミング
ジュツゴ ロンリ ト ロンリ プログラミング
Responsibility | 有川節夫, 原口誠共著 |
---|---|
Series | 知識工学講座 ; 4 |
Material Type | Book |
Publisher | 東京 : オーム社 |
Year | 1988.5 |
Language | Japanese |
Size | vii, 217p ; 22cm |
Holdings
Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
---|---|---|---|---|---|---|---|---|---|---|
|
Central Library 2A | 007.6/A 71/1 | 1988 |
|
068581190005654 |
|
||||
|
Central Library ASRS | 549/A 71/2 | 1988 |
|
068171188014142 |
|
||||
|
Central Library ASRS | 549/A 71/2A | 1988 |
|
068171189012454 |
|
||||
|
SciTech 1F Open Stacks | 007.08/C 48/(4) | 1999 |
|
031112005017655 |
|
||||
|
SciTech Library ASRS | 007.08/C 48/(4) | 1988 |
|
068251190007557 |
|
||||
|
SciTech Library ASRS | 007.08/C 48/(4) | 1988 |
|
068251191000820 |
|
||||
|
CHIKUSHI LIB., 1B, Japanese Books, Class Codes 000-099 | 007.64/A 71 | 1995 |
|
067112000022308 |
|
Bibliographic details
Notes | 参考文献: p[211]-213 |
---|---|
Authors | 有川, 節夫 <アリカワ, セツオ> 原口, 誠 <ハラグチ, マコト> |
Subjects | BSH:電子計算機 -- プログラミング
All Subject Search
NDLSH:プログラミング(電子計算機) |
Classification | NDC8:007.64 NDC7:418.6 NDC7:549.92 NDLC:M159 |
ID | 1000298220 |
ISBN | 4274073866 |
NCID | BN02198061 |
Vol | ISBN:4274073866 ; PRICE:3300円+税 |
NBN | JP88040579 |
Created Date | 2009.09.11 |
Modified Date | 2009.09.17 |