自動書庫 | 九州大学附属図書館

メインコンテンツに移動

日本語English

セカンダリーメニュー

お問合わせ
アクセス
寄附

HOME
探す・調べる
図書館を使う
- 利用ガイド
  - 学生・教職員の方
  - 一般の方
- 各図書館
学習・教育
- 学習（学生向け）
- 教育（教員向け）
研究支援
- 文献・情報の入手
  - 研究費での購入
    - 図書
    - 雑誌
  - 論文の入手
- 論文の執筆・投稿
- 研究成果の公開
  - オープンアクセス
    - オープンアクセスとは
    - 九州大学オープンアクセス方針
  - 九州大学学術情報リポジトリ（QIR）
- 研究データの管理・公開
  - 研究データの管理について知りたい
  - 研究データを公開したい
図書館について

ホーム
自動書庫

エラーメッセージ

利用できない時間です。

自動書庫

検索詳細ページに戻る

Web出庫サービス

出庫指示

書名／著者述語論理と論理プログラミング / 有川節夫, 原口誠共著
項目ID 068171188014142
資料区分図書

お問合わせ
サイトポリシー

サイト内検索

探す・調べる

九大コレクション
世界の文献
データベース
所蔵コレクション
九大出版物
電子展示
Cute.Guides

図書館を使う

利用ガイド
- 学生・教職員の方
- 一般の方
各図書館

学習・教育

学習（学生向け）
教育（教員向け）

研究支援

文献・情報の入手
- 研究費での購入
  - 図書
  - 雑誌
- 論文の入手
論文の執筆・投稿
研究成果の公開
- オープンアクセス
  - オープンアクセスとは
  - 九州大学オープンアクセス方針
- 九州大学学術情報リポジトリ（QIR）
研究データの管理・公開
- 研究データの管理について知りたい
- 研究データを公開したい

図書館について

附属図書館の概要
図書館の移転に係る情報
研究開発室
出版物
オリジナルグッズ
図書館へのご寄附等
展観クロニクル/貴重文物講習会
ライブラリーサイエンス専攻
研究データ管理支援部門
次世代型オープンエデュケーション推進部門
九州地区大学図書館協議会
九州地区図書系二次専門試験

〒819-0395 福岡市西区元岡744

© Kyushu University Library