Journal of automated reasoning
Tipo de material: Recurso continuoIdioma: Inglés Editor: Dordrecht : D. Reidel, 1985-Tipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISSN: 0168-7433Tema(s): Teoremas, Comprobación automática de | Inteligencia artificialFormatos físicos adicionales: Journal of automated reasoning (En línea)Clasificación CDD: 007.52 Clasificación LoC:QA76.9.A96También disponible vía World Wide WebTipo de ítem | Biblioteca actual | Colección | Clasificación | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|---|
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1989 5 1-4 | 1 | Estantería cerrada | P89-79626-60 | ||
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1990 6 1-4 | 1 | Estantería cerrada | P89-79626-100 | ||
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1991 7 1-4 | 1 | Estantería cerrada | P89-79626-150 | ||
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1992 8 1-3 | 1 | Estantería cerrada | P89-79626-210 | ||
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1992 9 1-3 | 1 | Estantería cerrada | P89-79626-260 | ||
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1993 10 1-3 | 1 | Estantería cerrada | P89-79626-310 | ||
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1993 11 1-3 | 1 | Estantería cerrada | P89-79626-360 | ||
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1994 12 1-3 | 1 | Estantería cerrada | P89-79626-380 | ||
Revistas | Revistas Revistas | Coleccion General | 007.52 (Navegar estantería(Abre debajo)) | 1994 13 1-3 | 1 | Estantería cerrada | P89-79626-390 |
Total de reservas: 0
Navegando Revistas Estantes, Ubicación: Revistas, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
007.52 Journal of automated reasoning | 007.52 Journal of automated reasoning | 007.52 Journal of automated reasoning | 007.52 Journal of automated reasoning | 007.52 Journal of automated reasoning | 010.5 Journal of documentation : | 010.5 Journal of documentation : |
Título de la cubierta
Inicia en 1985 con el vol. 1, no. 1
También disponible vía World Wide Web
No hay comentarios en este titulo.