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

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/87011

Título:	Una interfaz web para el 'parser'/demostrador de teoremas CatLog2; Una interfície web per al 'parser'/demostrador de teoremes CatLog
Autor/a:	Román Rubio, David
Otros autores:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Morrill, Glyn
Abstract:	CatLog 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.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica -Web publishing -CatLog2 -aplicación -web -categorial -grammar -Edició de webs
Derechos:
Tipo de documento:	Trabajo/Proyecto fin de carrera
Editor:	Universitat Politècnica de Catalunya
Compartir:

Coordinación

Patrocinio