サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

モデルの理論とその関連分野の総合的研究

本橋, 信義, 筑波大学

詳細情報

タイトル モデルの理論とその関連分野の総合的研究
著者 本橋, 信義, 筑波大学
出版年月日等 1989-1991
大きさ、容量等
注記 文部省科学研究費補助金研究成果報告書
科研費課題番号 01302006
別タイトル 研究種目 総合研究(A)
出版年(W3CDTF) 1989
件名(キーワード) モデルの理論
件名(キーワード) 情報と論理
件名(キーワード) ブール値モデル
件名(キーワード) 定義可能性
件名(キーワード) ガロアの理論
件名(キーワード) 安定性理論
件名(キーワード) アーベル群
件名(キーワード) 計算可能性
NDLC Y151
資料の種別 図書

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで