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

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

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

述語論理的プログラムの理論及び実装

五十嵐, 滋, 筑波大学

詳細情報

タイトル 述語論理的プログラムの理論及び実装
著者 五十嵐, 滋, 筑波大学
出版年月日等 1990-1992
大きさ、容量等
注記 文部省科学研究費補助金研究成果報告書
科研費課題番号 02452153
別タイトル 研究種目 一般研究(B)
出版年(W3CDTF) 1990
件名(キーワード) レー転換
件名(キーワード) NU
件名(キーワード) 不完全情報ゲーム
件名(キーワード) 音楽情報処理
件名(キーワード) 同値理論
件名(キーワード) 人工知能
NDLC Y151
資料の種別 図書

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで