ようこそ
ゲスト
さん
ログイン
ヘルプ
入力補助
English
TOP
図書館サービス
図書新着案内
雑誌最新巻号案内
雑誌タイトルリスト
AV資料タイトルリスト
学生選書
ベストリーディング
アクセスランキング
利用者サービス
貸出・予約状況照会
文献複写・貸借申込み
文献複写・貸借申込み状況照会
その他
図書館HP
大学HP
富山横断検索
富県大リポジトリ
開館カレンダー
検索結果一覧に戻る
CLOSE
この情報を出力する
印刷
メール送信
ファイル出力
RefWorks出力
EndNote Basic出力
Mendeley出力
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
ジョウホウ カガク ノ タメ ノ ロンリ ブンセキ テクニック
情報科学のための論理分析テクニック / 戸田誠之助著
データ種別
図書
出版者
東京 : 培風館
出版年
2007.6
本文言語
日本語
大きさ
v, 149p ; 22cm
著者標目
戸田, 誠之助
<トダ, セイノスケ>
所蔵情報を非表示
巻 次
配架場所
請求記号
登録番号
コメント
刷 年
状 態
利用注記
ISBN
予約
請求メモ
射水-1階-和書
410.96||To17
101831444
2007
9784563015657
予約
予約
書誌詳細を非表示
別書名
異なりアクセスタイトル:論理分析テクニック : 情報科学のための
件 名
BSH:
記号論理学
分 類
NDC8:
410.96
NDC9:
410.96
書誌ID
B000160205
ISBN
9784563015657
NCID
BA82225662
類似資料
1
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
2
計算論理入門 : 情報の数理 / 田中尚夫著
3
学んでみよう!記号論理 / 高崎金久著
4
論理数学 / 太原育夫著
5
情報科学のための論理数学 / 細井勉著
6
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] : 高橋昌一郎訳
7
数理論理学入門 / 入江盛一著
8
数理論理学序説 / 前原昭二著
9
記号論理学 / ゲオルク・クラウス著 ; 門上秀叡訳
上,下
10
記号論理入門 / 前原昭二著
この資料の利用統計
このページへのアクセス回数:30回
※2019年3月27日以降
全貸出数:1回
(1年以内の貸出:0回)
※2019年3月27日以降