"Lambda" PROLOG : interpretador e unificação de ordem superior

"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...

Full description

Bibliographic Details
Main Author: Ludwig, Artemio
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1992
Subjects:
Linguagem de programação (Computadores)
Prolog (Linguagem de programação de computador)
Engenharia elétrica
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

Similar Items