図書館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件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
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へ
関連情報<<
関連情報
関連資料
親書誌をみる
Lecture notes in computer science
著者からさがす
*Workshop on Logic, Language, Information and Computation
Moss, Lawrence Stuart, 1959-
分類からさがす
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
他の検索サイトで探す
Google Books
NDLSearch
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
資料を取り寄せる
ILL複写依頼(コピー取り寄せ)
ILL貸借依頼(現物借用)
この書誌のQRコード