Mendeley出力
＜図書＞
Logic, algebra, and computation
| 責任表示 | edited by Friedrich L. Bauer |
|---|---|
| シリーズ | NATO ASI series ; ser. F . Computer and system sciences ; v. 79 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer-Verlag , c1991 |
| 本文言語 | 英語,フランス語 |
| 大きさ | 485 p. ; 25 cm |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図2F 開架 | 548.2/B 28 | 1991 |
|
068252191009380 |
|
書誌詳細
| 一般注記 | "International summer school directed by F.L. Bauer ... [et al.]" "Published in cooperation with NATO Scientific Affairs Division." "Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25-August 6, 1989"--T.p. verso |
|---|---|
| 著者標目 | Bauer, Friedrich Ludwig, 1924- *NATO Advanced Study Institute on Logic, Algebra, and Computation (1989 : Marktoberdorf, Germany) |
| 件 名 | LCSH:Logic programming -- Congresses
全ての件名で検索
LCSH:Algebra -- Congresses 全ての件名で検索 LCSH:Computational complexity -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.63 DC20:005.1 |
| 書誌ID | 1001101440 |
| ISBN | 3540543155 |
| NCID | BA13332801 |
| 巻冊次 | : Berlin ; ISBN:3540543155 : New York ; ISBN:0387543155 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |