Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor
(Contemporary mathematics;106)
データ種別 |
図書 |
出版者 |
Providence, R.I. : American Mathematical Society |
出版年 |
c1990 |
本文言語 |
英語 |
大きさ |
xiv, 297 p. ; 26 cm |
所蔵情報を非表示
1
秋田公立美術大学
配架場所 |
巻 次 |
請求記号 |
登録番号 |
状 態 |
ISBN |
刷 年 |
利用注記 |
予約 |
指定図書 |
閉架書庫
|
|
410 || W88
|
0105345
|
|
0821851101
|
1990
|
|
|
|
書誌詳細を非表示
類似資料
-
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