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

愛媛大学図書館

検索結果一覧へ戻る

ACM transactions on computational logic

Vol. 1, no. 1 (July 2000)-. -- Association for Computing Machinery, 2000. <SB10017547>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

ACM transactions on computational logic

Vol. 1, no. 1 (July 2000)-. -- Association for Computing Machinery, 2000. <SB10017547>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

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

No. 所蔵館 配置場所 巻号 年月次 備考 アラート
0001 中央館 研究室-理
 		1-7 2000-2006
No. 0001
所蔵館 中央館
配置場所 研究室-理
巻号 1-7
年月次 2000-2006
備考
アラート
このページのTOPへ

書誌詳細

標題および責任表示 ACM transactions on computational logic
IDENT http://www.acm.org/pubs/tocl
ISSN 15293785
巻次・年月次 Vol. 1, no. 1 (July 2000)-
出版・頒布事項 New York, NY : Association for Computing Machinery , c2000-
形態事項 v. ; 26 cm
その他の標題 異なりアクセスタイトル:Computational logic
その他の標題 異なりアクセスタイトル:Transactions on computational logic
その他の標題 その他のタイトル:TOCL
注記 Title from cover
注記 Also available via the World Wide Web
学情ID AA11554790
本文言語コード 英語
刊行頻度コード 季刊
著者標目リンク Association for Computing Machinery
件名標目等 Computer logic Periodicals
件名標目等 Logic, Symbolic and mathematical Periodicals
件名標目等 Computer science -- Mathematics Periodicals
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    資料を取り寄せる

    • コピーの取り寄せ(コピー取り寄せ)

    この書誌のQRコード