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:
|
|