To access the full text documents, please follow this link: http://hdl.handle.net/2117/87011

Una interfaz web para el 'parser'/demostrador de teoremas CatLog2;
Una interfície web per al 'parser'/demostrador de teoremes CatLog
Román Rubio, David
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Morrill, Glyn
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.
Àrees temàtiques de la UPC::Informàtica
Web publishing
CatLog2
aplicación
web
categorial
grammar
Edició de webs
info:eu-repo/semantics/bachelorThesis
Universitat Politècnica de Catalunya
         

Show full item record

 

Coordination

 

Supporters