Universidad Nacional Autónoma de México
Catálogo de la Unidad de Documentación  del Centro de Ciencias Matemáticas, Morelia

The computer modelling of mathematical reasonign / Alan bundy

Por: Bundy, Alan [autor]Tipo de material: TextoTextoEditor: London : Academic, 1983Descripción: 403 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0-12-141250-4; 0-12-141352-0Tema(s): Matemáticas -- Procesamiento de datos | Lógica simbólica y matemática | Demostración automática de teoremasClasificación LoC:QA76.95 | B85
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)
Total de reservas: 0


Universidad Nacional Autónoma de México 

Unidad de Documentación del Centro de Ciencias Matemáticas, Morelia

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

Aviso de Privacidad