Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/87011
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Morrill, Glyn |
dc.contributor.author | Román Rubio, David |
dc.date | 2016-03-29 |
dc.identifier.citation | 113253 |
dc.identifier.uri | http://hdl.handle.net/2117/87011 |
dc.language.iso | spa |
dc.publisher | Universitat Politècnica de Catalunya |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject | Web publishing |
dc.subject | CatLog2 |
dc.subject | aplicación |
dc.subject | web |
dc.subject | categorial |
dc.subject | grammar |
dc.subject | Edició de webs |
dc.title | Una interfaz web para el 'parser'/demostrador de teoremas CatLog2 |
dc.title | Una interfície web per al 'parser'/demostrador de teoremes CatLog |
dc.type | info:eu-repo/semantics/bachelorThesis |
dc.description.abstract |