Journal: | Ciencias matemáticas |
Database: | PERIÓDICA |
System number: | 000105141 |
ISSN: | 0256-5374 |
Authors: | Padron Perez, O.M1 |
Institutions: | 1Centro Nacional de Investigaciones Científicas, Dir Neurociencias, La Habana. Cuba |
Year: | 1988 |
Volumen: | 9 |
Number: | 2 |
Pages: | 65-77 |
Country: | Cuba |
Document type: | Artículo |
Approach: | Teórico |
Disciplines: | Ciencias de la computación, Matemáticas |
Keyword: | Matemáticas aplicadas, Conexiones-metodo, Demostracion automatica, Computación |
Keyword: | Computer science, Mathematics, Applied mathematics, Connections method, Automatic demonstration, Computing |
Document request | |