感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

戦線なき戦線　上

著者名 ノーボスチ通信社／編 刀江書院編集部／訳
出版者 刀江書院
出版年月 1967
請求記号 N309/00104/１

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0111198974一般和書外部保管　外部保管中在庫 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

請求記号 N309/00104/１
書名 戦線なき戦線　上
著者名 ノーボスチ通信社／編 　 刀江書院編集部／訳
出版者 刀江書院
出版年月 1967
ページ数 202p
大きさ 19cm
一般注記 内容:諜報部員は往く
分類 3093
書誌種別 一般和書
タイトルコード 1009210072020

目次 数学の活用
字句代入，等号，代入
ブール式
命題計算
証明形式の緩和
命題論理の応用
ヒルベルトスタイルの証明系
形式論理
限量化
述語計算〔ほか〕
著者情報 グリース，Ｄ．
　コーネル大学コンピュータ科学科教授(本データはこの書籍が刊行された当時に掲載されていたものです)
シュナイダー，Ｆ．Ｂ．
　コーネル大学コンピュータ科学科教授(本データはこの書籍が刊行された当時に掲載されていたものです)
難波 完爾
　１９３９年岡山県に生まれる。１９６２年岡山大学理学部数学科卒業。１９６４年東京教育大学大学院理学研究科修士課程修了。東京大学教養部教授を経て、現在、弘前大学大学院教育学研究科教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
土居 範久
　１９３９年兵庫県に生まれる。１９６４年慶応義塾大学工学部管理工学科卒業。１９６９年慶応義塾大学大学院工学研究科博士課程中退。現在、慶応義塾大学理工学部情報工学科教授。工学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
飯島 正
　１９９１年慶応義塾大学大学院理工学研究科博士課程単位取得退学。（株）東芝勤務を経て、現在、慶応義塾大学理工学部管理工学科助手(本データはこの書籍が刊行された当時に掲載されていたものです)
小野寺 民也
　１９５９年、青森県に生まれる。１９８３年、東京大学理学部情報科学学科を卒業。１９８８年、東京大学大学院理学系研究科情報科学専門課程を修了。現在、日本アイビーエム東京基礎研究所シニアテクニカルスタッフメンバー理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
桔梗 宏孝
　１９６２年、広島県に生まれる。１９８４年、早稲田大学理工学部数学科を卒業。１９８９年、早稲田大学大学院理工工学研究科博士後期課程を退学。現在、東海大学理学部情報数理学科助教授、理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
志村 立矢
　１９５９年、静岡県に生まれる。１９８５年、東京大学理学部数学科を卒業。１９９１年、東京大学大学院理学系研究科博士課程を修了。現在、日本大学理工学部数学科助教授、理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
高橋 真
　１９５４年、北海道に生まれる。１９７７年、早稲田大学理工学部数学科を卒業。１９８８年、早稲田大学大学院理工学研究科博士後期課程数学専攻を修了。現在、神戸大学発達科学部人間環境科学科助教授、理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。