Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Procedimiento de la Conferencia Libro |
| Lenguaje: | English |
| Publicado: |
Providence, R.I. :
American Mathematical Society,
c1990.
|
| Colección: | Contemporary mathematics (American Mathematical Society) ;
v. 106. |
| Materias: |
| Notas: | "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso. |
|---|---|
| Descripción Física: | xiv, 297 p. : ill. ; 25 cm. |
| Bibliografía: | Includes bibliographical references. |
| ISBN: | 0821851101 (alk. paper) |
| ISSN: | 0271-4132 ; |