Handbook of automated reasoning / editors, Alan Robinson and Andrei Voronkov.
Tipo de material: TextoDetalles de publicación: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, c2001. Descripción: 2 v. (xxv, 2122 p.) : ill. ; 25 cmISBN: 9780444508133; 0444508139Tema(s): Automatic theorem proving | Qualitative reasoningGénero/Forma: Electronic books.Formatos físicos adicionales: Sin títuloClasificación CDD: 511.3 También disponible en versión electrónica. Consulte en Libros y Revistas electrónicas (http://goo.gl/Ygwy4z)Forma de acceso: Restringido a usuarios de la UCATipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Manuales | 14. INTERNET | Versión electrónica (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® |
Total de reservas: 0
Includes bibliographical references and index.
Restringido a usuarios de la UCA
También disponible en versión electrónica. Consulte en Libros y Revistas electrónicas (http://goo.gl/Ygwy4z)
No hay comentarios en este titulo.