東京都立大学図書館
図書館HP | ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス マイライブラリ ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • タグ履歴
    • 複写依頼
    • 貸借依頼
    • 新規購入依頼

東京都立大学図書館

検索結果一覧へ戻る

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings

Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.). -- Springer, 2018. -- (Lecture notes in computer science ; 10944 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues). <BB02360067>
登録タグ：
登録されているタグはありません
便利機能：
詳細情報を見る
書誌URL：

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings

Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.). -- Springer, 2018. -- (Lecture notes in computer science ; 10944 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues). <BB02360067>
登録タグ：
登録されているタグはありません
便利機能：
詳細情報を見る
書誌URL：

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

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

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 数理科学 理：数理科学図書室 シリーズ 10005259620 /549/L49c/10944 0件
No. 0001
巻号
所蔵館 数理科学
配置場所 理：数理科学図書室 シリーズ
資料ID 10005259620
請求記号 /549/L49c/10944
状態
返却予定日
予約 0件
WEB書棚
このページのTOPへ

書誌詳細

標題および責任表示 Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings / Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.)
出版・頒布事項 Berlin : Springer , c2018
形態事項 xviii, 324 p. : ill. ; 24 cm
巻号情報
ISBN 9783662576687
書誌構造リンク Lecture notes in computer science <BB00769733> 10944 . FoLLI publications on logic, language and information . LNCS sublibrary ; SL1 . Theoretical computer science and general issues//aaaa
注記 Includes bibliographical references and index
学情ID BB2784384X
本文言語コード 英語
著者標目リンク *Workshop on Logic, Language, Information and Computation <AU00622128> (25th : 2018 : Bogotá, Colombia)
著者標目リンク Moss, Lawrence Stuart, 1959- <AU00799532>
著者標目リンク Queiroz, Ruy de <>
著者標目リンク Martinez, Maricarmen <>
分類標目 DC23:005.1015113
件名標目等 Logik
件名標目等 Theoretische Informatik
件名標目等 Programmiersprache
件名標目等 (Produktform)Paperback / softback
件名標目等 (BISAC Subject Heading)MAT018000
件名標目等 (BISAC Subject Heading)UYA
件名標目等 Applications
件名標目等 Computer Science
件名標目等 Conference Proceedings
件名標目等 Informatics
件名標目等 Research
件名標目等 (Springer Nature Marketing Classification)C
件名標目等 (Springer Nature Subject Code)SCI16048: Mathematical Logic and Formal Languages
件名標目等 (Springer Nature Subject Collection)SUCO11645: Computer Science
件名標目等 (BIC subject category)UYA
件名標目等 (VLB-WN)1632: Hardcover, Softcover / Informatik, EDV/Informatik
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ