Revista: | Preimpreso - IIMAS |
Base de datos: | PERIÓDICA |
Número de sistema: | 000001226 |
Autors: | Rosenblueth, D1 |
Institucions: | 1Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, México, Distrito Federal. México |
Any: | 1993 |
Període: | Oct |
Número: | 14 |
Paginació: | 1-15 |
País: | México |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Teórico |
Disciplines | Ciencias de la computación, Matemáticas |
Paraules clau: | Matemáticas puras, Prolog, Diseño, Compiladores, Programas logicos, Lógica matemática |
Keyword: | Computer science, Mathematics, Pure mathematics, Prolog, Design, Compilers, Logic programs, Mathematical logic |
Solicitud del documento | |