Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor
| データ種別 | 図書 |
|---|---|
| 出版者 | Providence, R.I. : American Mathematical Society |
| 出版年 | c1990 |
| 本文言語 | 英語 |
| 大きさ | xiv, 297 p. ; 26 cm |
所蔵情報を非表示
1
秋田公立美術大学
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 閉架書庫 |
|
410 || W88 | 0105345 |
|
0821851101 | 1990 |
|
|
書誌詳細を非表示
| 一般注記 | "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso |
|---|---|
| 著者標目 | Sieg, Wilfried, 1945- *Workshop on Logic and Computation (1987 : Carnegie Mellon University) |
| 件 名 | LCSH:Computable functions -- Data processing -- Congresses |
| 分 類 | LCC:QA9.59 DC20:511.3 NDC8:410.96 |
| 書誌ID | 2000032674 |
| ISBN | 0821851101 |
| NCID | BA10191463 |
類似資料
-
1
Advances in Petri nets 1991 / G. Rozenberg, (ed.) : gw,: us
-
2
30th Design Automation Conference, June 14-18, 1993, Dallas, Texas, Dallas Convention Center : proceedings 1993 / sponsored by ACM SIGDA ... [et al.] : soft.,: case.,: micro.
-
3
Proceedings : 29th ACM/IEEE Design Automation Conference, June 8-12, 1992, Anaheim, California / sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Circuits & Systems Society, ACM SIGDA ; in cooperation with EDAC(Electronic Design Automation Companies) : micro. - : ACM library series
-
4
Mathematical methods in computer aided geometric design II / edited by Tom Lyche, Larry L. Schumaker
-
5
Mathematical methods in computer aided geometric design / edited by Tom Lyche, Larry L. Schumaker
-
6
CFD and CAD in ship design : proceedings of the International Symposium on CFD and CAD in Ship Design, Wageningen, the Netherlands, 25-26 September 1990 / edited by G. van Oortmerssen
-
7
Discrete and computational geometry : papers from the DIMACS special year / Jacob E. Goodman, Richard Pollack, William Steiger, editors AMS : acid-free paper,: ACM
-
8
Algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991 / edited by C. Brezinski, U. Kulisch
-
9
Groups and computation / Larry Finkelstein, William M. Kantor, editors [1],2
-
10
Workstations for experiments / IFIP WG 5.10 international working conference, Lowell, MA, USA, July 1989 ; José L. Encarnaçã, Georges G. Grinstein (eds.) : us,: gw