"Lambda" PROLOG : interpretador e unificação de ordem superior
Orientador : Wagner C. Amaral
| Author: | |
|---|---|
| Format: | doctoral thesis |
| Status: | Published version |
| Publication Date: | 1992 |
| Country: | Brasil |
| Institution: | Universidade Estadual de Campinas (UNICAMP) |
| Repository: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
| Language: | Portuguese |
| OAI Identifier: | oai::51269 |
| Online Access: | https://hdl.handle.net/20.500.12733/1578555 |
| Access Level: | Open access |
| Keyword: | Linguagem de programação (Computadores) Prolog (Linguagem de programação de computador) Engenharia elétrica |
| Summary: | Orientador : Wagner C. Amaral |
|---|