Proceedings /
Guardado en:
| Autores Corporativos: | , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Washington, D.C. :
IEEE Computer Society Press,
c1989.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00930nam a22001935a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb006738 | ||
| 008 | 120906s1989####dcu######b####101#0#eng#d | ||
| 005 | 20170623152226.0 | ||
| 245 | 1 | 0 | |a Proceedings / |c fourth annual Symposium on Logic in Computer Science. |
| 260 | |a Washington, D.C. : |b IEEE Computer Society Press, |c c1989. | ||
| 300 | |a xvi, 402 p. ; |c 28 cm. | ||
| 500 | |a "June 5-8, 1989, Asilomar Conference Center, Pacific Grove, California"--Cubierta. | ||
| 500 | |a "Sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing"--Cubierta. | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 020 | |a 0818619546 | ||
| 111 | 2 | |a Symposium on Logic in Computer Science |n (4º : |d 1989 : |c Pacific Grove, California) | |
| 710 | 2 | |a IEEE Computer Society. |b Technical Committee on Mathematical Foundations of Computing. | |
| 084 | |a 68-06 (03B70) |2 msc2000 | ||
| 859 | |h 68 |i Sy989-4 |p A-6270 |b BIB. MATEMATICA | ||