ELX: entorn Latex pel dibuix de xarxes de demostració

All of RECERCAT

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

Title:	ELX: entorn Latex pel dibuix de xarxes de demostració
Author:	Merenciano Saladrigas, Josep Maria
Other authors:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Abstract:	The ELX macro set gives us a friendly user oriented interface to build up proofnets.
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial -ELX -Proofnets
Rights:
Document type:	Article - Published version Report
Share: