Demostracion automatica : metodo de las conexiones
Título del documento: Demostracion automatica : metodo de las conexiones
Revista: Ciencias matemáticas
Base de datos: PERIÓDICA
Número de sistema: 000105141
ISSN: 0256-5374
Autors: 1
Institucions: 1Centro Nacional de Investigaciones Científicas, Dir Neurociencias, La Habana. Cuba
Any:
Volum: 9
Número: 2
Paginació: 65-77
País: Cuba
Tipo de documento: Artículo
Enfoque: Teórico
Disciplines Ciencias de la computación,
Matemáticas
Paraules clau: Matemáticas aplicadas,
Conexiones-metodo,
Demostracion automatica,
Computación
Keyword: Computer science,
Mathematics,
Applied mathematics,
Connections method,
Automatic demonstration,
Computing
Solicitud del documento
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)