Now showing items 1-1 of 1

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

      Román Rubio, David (Universitat Politècnica de Catalunya, 2016-03-29)
      Bachelor thesis
      Open Access
      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 ...