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

Título:	ELX: entorn Latex pel dibuix de xarxes de demostració
Autor/a:	Merenciano Saladrigas, Josep Maria
Otros autores:	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.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial -ELX -Proofnets
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Mostrar el registro completo del ítem