Mendeley出力
＜図書＞
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
| 責任表示 | Peter G. Clote, Helmut Schwichtenberg (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 1862 |
| データ種別 | 図書 |
| 出版情報 | Berlin : Springer , c2000 |
| 本文言語 | 英語 |
| 大きさ | xiii, 541 p. : ill. ; 24 cm |
| 概要 | This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August...2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7004816 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 2000 |
|
061232004022872 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Workshop on Computer Science Logic (14th : 2000 : Fischbachau, Germany) European Association for Computer Science Logic Clote, Peter Schwichtenberg, Helmut, 1942- |
| 件 名 | LCSH:Computer logic -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.9.L63 |
| 書誌ID | 1000994662 |
| ISBN | 3540678956 |
| NCID | BA47962265 |
| 巻冊次 | ISBN:3540678956 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |