Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 会議録 図書 |
| 言語: | English |
| 出版事項: |
Providence, R.I. :
American Mathematical Society,
c1990.
|
| シリーズ: | Contemporary mathematics (American Mathematical Society) ;
v. 106. |
| 主題: |
| 記述事項: | "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso. |
|---|---|
| 物理的記述: | xiv, 297 p. : ill. ; 25 cm. |
| 書誌: | Includes bibliographical references. |
| ISBN: | 0821851101 (alk. paper) |
| ISSN: | 0271-4132 ; |