BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Normalização de termos no cálculo dos combinadores

Participants in the publication
Teixeira, Renata Maria Machado (Author)
Ferreira, Fernando (Adviser)
Dep. Matemática
 CMAFcIO
Date of Submisson/Request
2007
Date of Publication
2007

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - http://hdl.handle.net/10451/1257


Export

APA
Teixeira, Renata Maria Machado, (2007). Normalização de termos no cálculo dos combinadores . http://hdl.handle.net/10451/1257 Ferreira, Fernando,

IEEE
Teixeira, Renata Maria Machado, "Normalização de termos no cálculo dos combinadores ", 2007.

BIBTEX
@MastersThesis{58631, author = {Teixeira, Renata Maria Machado}, title = {Normalização de termos no cálculo dos combinadores }, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2007}, OPTtype = {Documentos Académicos} }