愛媛大学図書館
ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス Webサービス ▼
    • 利用状況・貸出延長
    • ブックマーク
    • お気に入り検索
    • レビュー履歴
    • タグ履歴
    • グループ学習室予約履歴
    • 新着アラート
    • ILL複写依頼
    • ILL貸借依頼
    • リクエスト(希望図書)

愛媛大学図書館

検索結果一覧へ戻る

Logic programming : proceedings of the North American Conference, 1989

edited by Ewing L. Lusk and Ross A. Overbeek ; v. 1, v. 2. -- MIT Press, 1989. -- (Logic programming v. 1, 2). <BB00276178>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Logic programming : proceedings of the North American Conference, 1989

edited by Ewing L. Lusk and Ross A. Overbeek ; v. 1, v. 2. -- MIT Press, 1989. -- (Logic programming v. 1, 2). <BB00276178>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～2件（全2件）

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 v. 2 中央館 研究室-工
 		007.64/LO/2 0112190027888 通常 0件
0002 v. 1 中央館 研究室-工
 		007.64/LO/1 0112190027876 通常 0件
No. 0001
巻号 v. 2
所蔵館 中央館
配置場所 研究室-工
請求記号 007.64/LO/2
資料ID 0112190027888
状態 通常
返却予定日
予約 0件
No. 0002
巻号 v. 1
所蔵館 中央館
配置場所 研究室-工
請求記号 007.64/LO/1
資料ID 0112190027876
状態 通常
返却予定日
予約 0件
このページのTOPへ

書誌詳細

標題および責任表示 Logic programming : proceedings of the North American Conference, 1989 / edited by Ewing L. Lusk and Ross A. Overbeek
出版・頒布事項 Cambridge, Mass. : MIT Press , c1989
形態事項 2 v. (x, 1239 p.) : ill. ; 23 cm
巻号情報
巻次等 v. 1
ISBN 0262620642
巻号情報
巻次等 v. 2
ISBN 0262620642
書誌構造リンク Logic programming v. 1, 2//a
注記 "On constructive negation in logic programming / Teodor C. Przymusinski" (19 p.) inserted
注記 "Papers presented at the North American Conference on Logic Programming held in Cleveland, Ohio, USA on October 16-20, 1989"--Pref.
学情ID BA07650766
本文言語コード 英語
著者標目リンク Lusk, Ewing L.
著者標目リンク Overbeek, Ross A.
著者標目リンク North American Conference on Logic Programming
分類標目 LCC:QA76.63
分類標目 DC:005.1
件名標目等 Logic programming -- Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    資料を取り寄せる

    • コピーの取り寄せ(コピー取り寄せ)
    • 図書の取り寄せ(現物借用)

    購入依頼

    この書誌のQRコード