愛知工業大学附属図書館
ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • 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). <BB00189514>
便利機能：
詳細情報を見る
書誌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). <BB00189514>
便利機能：
詳細情報を見る
書誌URL：

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

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 v. 1 図書館 手動集密書架 007.64||L 003898806 書架 0件
0002 v. 2 図書館 手動集密書架 007.64||Ｌ 003836764 書架 0件
No. 0001
巻号 v. 1
所蔵館 図書館
配置場所 手動集密書架
請求記号 007.64||L
資料ID 003898806
状態 書架
返却予定日
予約 0件
No. 0002
巻号 v. 2
所蔵館 図書館
配置場所 手動集密書架
請求記号 007.64||Ｌ
資料ID 003836764
状態 書架
返却予定日
予約 0件
このページのTOPへ
このページの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 <BB00189550> 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. <AU00042950>
著者標目リンク Overbeek, Ross A. <AU00042706>
著者標目リンク North American Conference on Logic Programming <AU00042707> (1989 : Ohio, USA)
分類標目 LCC:QA76.63
分類標目 DC20:005.1
件名標目等 Logic programming -- Congresses
このページのTOPへ
前の画面へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    資料を取り寄せる

    • ILL複写依頼(コピー取り寄せ)
    • ILL貸借依頼(現物借用)