"Lambda" PROLOG : interpretador e unificação de ordem superior
Orientador : Wagner C. Amaral === Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-16T01:51:41Z (GMT). No. of bitstreams: 1 Ludwig_Artemio_D.pdf: 9026847 bytes, checksum: bf0003b28c02857c43931feb4b9729d1 (MD5) Previous i...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
[s.n.]
1992
|
Subjects: | |
Online Access: | LUDWIG, Artemio. "Lambda" PROLOG: interpretador e unificação de ordem superior. 1992. [146]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260489>. Acesso em: 15 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260489 |
Internet
LUDWIG, Artemio. "Lambda" PROLOG: interpretador e unificação de ordem superior. 1992. [146]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260489>. Acesso em: 15 jul. 2018.http://repositorio.unicamp.br/jspui/handle/REPOSIP/260489