工学部OPAC

ようこそ  ゲスト さん

<図書>

ジュツゴ ロンリ ニュウモン : キソ カラ プログラム ノ リロン エ

述語論理・入門 : 基礎からプログラムの理論へ / 上江洲忠弘著

データ種別 図書
出版者 東京 : 遊星社
出版者 東京 : 星雲社 (発売)
出版年 2007.4
本文言語 日本語
大きさ 206p ; 21cm

所蔵情報を非表示

配架場所 巻 次 請求記号 資料番号 状 態 資料区分 コメント ISBN 刷 年 利用注記
3F 書庫A
410.96||U47 J08008179 一般図書(日本語) - 図書
9784434106057

書誌詳細を非表示

別書名 異なりアクセスタイトル:述語論理入門 : 基礎からプログラムの理論へ
一般注記 引用文献: p[195]-196
著者標目 上江洲, 忠弘(1942-) <ウエス, タダヒロ>
件 名 BSH:記号論理学
分 類 NDC8:410.96
NDC9:410.96
書誌ID 1000154504
ISBN 9784434106057
NCID BA81788921 WCLINK
巻冊次 ISBN:9784434106057 ; PRICE:2300円+税

検索結果一覧に戻る ページトップ