Mendeley出力
＜図書＞
述語論理・入門 : 基礎からプログラムの理論へ
ジュツゴ ロンリ ニュウモン : キソ カラ プログラム ノ リロン エ
| 責任表示 | 上江洲忠弘著 |
|---|---|
| データ種別 | 図書 |
| 出版者 | 東京 : 遊星社 |
| 出版者 | 東京 : 星雲社 (発売) |
| 出版年 | 2007.4 |
| 本文言語 | 日本語 |
| 大きさ | 206p ; 21cm |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
理系図1F 開架 | 410.96/U 47 | 2007 |
|
031112012001510 |
|
書誌詳細
| 別書名 | 異なりアクセスタイトル:述語論理入門 : 基礎からプログラムの理論へ |
|---|---|
| 一般注記 | 引用文献: p[195]-196 |
| 著者標目 | 上江洲, 忠弘(1942-) <ウエス, タダヒロ> |
| 件 名 | BSH:記号論理学 |
| 分 類 | NDC8:410.96 NDC9:410.96 |
| 書誌ID | 1001489766 |
| ISBN | 9784434106057 |
| NCID | BA81788921 |
| 巻冊次 | ISBN:9784434106057 ; PRICE:2300円+税 |
| 登録日 | 2012.11.02 |
| 更新日 | 2012.11.02 |