Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"

Imagen de cubierta de Amazon
Imagen de Amazon.com

Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch, eds.

Por: (2 : IJCAR 2004 (2 : 2001 : Cork, Irlanda)Colaborador(es): Basin, David [editor] | Rusinowitch, Michaël [editor]Tipo de material: TextoTextoSeries Lecture notes in computer science ; 3097 | Lecture notes in artificial intelligenceEditor: Berlin : Springer Verlag, c2004Descripción: 491 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540223452Tema(s): Demostración automática de teoremas -- Congresos | Lógica computacional -- CongresosClasificación LoC:QA76.9A96 | I53 2004
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
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
Libros
General QA76.9A96 I53 2004 (Navegar estantería(Abre debajo)) 1 Disponible 190326
Total de reservas: 0

No hay comentarios en este titulo.

para colocar un comentario.


Universidad Nacional Autónoma de México 

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad