Mendeley出力
＜図書＞
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
| 責任表示 | Egon Börger, Yuri Gurevich, Karl Meinke (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 832 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; New York : Springer-Verlag , c1994 |
| 本文言語 | 英語 |
| 大きさ | viii, 336 p. : ill. ; 24 cm |
| 概要 | This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in aseries of annual workshop... on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533).The volume contains 33 invited and selected papers on avariety of logical topics in computer science, includingabstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal formsin infinite-valued logic, ordinal processes, persistentPetri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stablelogic, term rewriting systems, termination of logicprograms, transitive closure logic, variants of resolution, and many others. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6797808 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: gw | 理系図 自動書庫 | 007/L 49 | 1994 |
|
068252195002453 |
|
|||
|
|
: gw | 理系図 自動書庫 | 408/L 49 | 1994 |
|
061232004012577 |
|
書誌詳細
| 一般注記 | "The 1993 Annual Conference of the European Association for Computer Science Logic CSL '93 was held in Swansea from September 13 to September 17, 19 Includes bibliographical references |
|---|---|
| 著者標目 | Börger, Egon, 1946- Gurevich, Yuri Meinke, K. (Karl) *Workshop on Computer Science Logic (7th : 1993 : Swansea, United Kingdom) |
| 件 名 | LCSH:Computer logic -- Congresses
全ての件名で検索
LCSH:Computer science -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.9.L63 LCC:QA75.5 DC20:004/.01/5113 |
| 書誌ID | 1000987171 |
| ISBN | 3540582770 |
| NCID | BA23281092 |
| 巻冊次 | : gw ; ISBN:3540582770 : us ; ISBN:0387582770 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |