Representação de conhecimento utilizando o 'lambda'-calculo tipado
Orientador: Wagner Caradori do Amaral === Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-15T16:56:04Z (GMT). No. of bitstreams: 1 Souza_JoaoNunesde_D.pdf: 12097520 bytes, checksum: 6aa96dc3547fd563a0ed50eb97d3a98c (MD5)...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
[s.n.]
1989
|
| Subjects: | |
| Online Access: | SOUZA, João Nunes de. Representação de conhecimento utilizando o 'lambda'-calculo tipado. 1989. 260 f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261197>. Acesso em: 15 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261197 |