Imagen de Amazon.com
Proceedings / Symposium on logic in computer science, cambridge massachusetts, June 16-18, 1986 ; sponsored by the ieee computer Society, technical committee on mathematical foundations of computing
Tipo de material:
TextoEditor: Washington, D.C. : IEEE Computer Society, c1986Descripción: 383 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0-8186-0720-3; 0-8186-8720-7; 0-8186-4720-5Otro título: Logic in computer scienceTema(s): Lógica simbólica y matemática -- Congresos | Procesamiento electrónico de datos -- Congresos | Programación de computadoras -- CongresosClasificación LoC:QA75.5 | S956 1986
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | Coleccion General | QA75.5 S956 1986 (Navegar estantería(Abre debajo)) | 1 | Disponible | 40266 | ||
|
Libros
|
Libros Libros | Coleccion General | QA75.5 S956 1986 (Navegar estantería(Abre debajo)) | 1 | Disponible | 40267 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| QA75.5 S95 2000 STACS 2000 : | QA75.5 S95 2001 STACS 2001 : | QA75.5 S956 1986 Proceedings | QA75.5 S956 1986 Proceedings | QA75.5 S958 1990 Stacs 90 7th annual symposium on theoretical aspects of computer science, rouen, france, february 22-24, 1990, proceedings | QA75.5 S958 1991 Stacs 91 : | QA75.5 W67 2000 Computer science logic : |
"in cooperation ith acm sigact, association for symbolic logic, european association for theoretical computer science"
No hay comentarios en este titulo.