Mostra el registre d'ítem simple

Una interfaz web para el 'parser'/demostrador de teoremas CatLog2

dc.contributorMorrill, Glyn
dc.contributor.authorRomán Rubio, David
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-05-12T11:51:03Z
dc.date.available2016-05-12T11:51:03Z
dc.date.issued2016-03-29
dc.identifier.urihttp://hdl.handle.net/2117/87011
dc.description.abstractCatLog es un 'parser'/demostrador de teoremas, escrito en Prolog, que analiza frases en derivaciones lógicas, y les asigna representaciones semánticas. El objetivo de este trabajo era el de desarrollar una plataforma web para poder usar este programa y facilitar al usuario su trabajo.
dc.language.isospa
dc.publisherUniversitat Politècnica de Catalunya
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.lcshWeb publishing
dc.subject.otherCatLog2
dc.subject.otheraplicación
dc.subject.otherweb
dc.subject.othercategorial
dc.subject.othergrammar
dc.titleUna interfaz web para el 'parser'/demostrador de teoremas CatLog2
dc.title.alternativeUna interfície web per al 'parser'/demostrador de teoremes CatLog
dc.typeBachelor thesis
dc.subject.lemacEdició de webs
dc.identifier.slug113253
dc.rights.accessOpen Access
dc.date.updated2016-05-02T04:00:43Z
dc.audience.educationlevelGrau
dc.audience.mediatorFacultat d'Informàtica de Barcelona
dc.audience.degreeGRAU EN ENGINYERIA INFORMÀTICA (Pla 2010)


Fitxers d'aquest items

Thumbnail
Nom:
113253.pdf
Mida:
4,698Mb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple