Relational methods in computer science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers / Harrie C.M. de Swart (ed.)
(Lecture notes in computer science ; 2561)
| データ種別 | 図書 |
|---|---|
| 出版者 | Berlin ; Tokyo : Springer-Verlag |
| 出版年 | c2002 |
| 形態 | x, 313 p. : ill. ; 24 cm |
| 別書名 | 表紙タイトル:Relational methods in computer science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 2001 : revised papers |
| 著者標目 | International Conference on Relational Methods in Computer Science (RelMiCS) (6th : 2001 : Oisterwijk, The Netherlands) Workshop of COST Action 274 Theory and Application of Relational Structures as Knowledge Instruments (TARSKI) (1st : 2001 : Oisterwijk, The Netherlands) Swart, Harrie C.M. de |
| 分 類 | NDC:549.92 |
| 書誌ID | LT00657586 |
所蔵情報を非表示
| 状 態 | 巻 次 | 所 在 | 請求記号 | 資料番号 | ISBN | 刷 年 | コメント | 利用注記 | 予約・取寄 | お薦めの本 | 自動書庫 | 付録注記 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
中央自動書庫 | 549.92/L49-1/2561 | 0113084870100 | 9783540003151 |
|
|
|
|
|
書誌詳細を非表示
| 本文言語 | 英語 |
|---|---|
| 一般注記 | "The volume contains the papers presented at RelMiCS 2001, 6th International Conference on Relational Methods in Computer Science, and the First Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments."--Pref. Includes bibliographical references and index |
| 巻冊次 | ISBN:3540003150 |
目次／あらすじ