Mostra el registre d'ítem simple

ELX: entorn Latex pel dibuix de xarxes de demostració

dc.contributor.authorMerenciano Saladrigas, Josep Maria
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-11-07T12:05:32Z
dc.date.available2016-11-07T12:05:32Z
dc.date.issued1999-04
dc.identifier.citationMerenciano, J. "ELX: entorn Latex pel dibuix de xarxes de demostració". 1999.
dc.identifier.urihttp://hdl.handle.net/2117/93004
dc.description.abstractThe ELX macro set gives us a friendly user oriented interface to build up proofnets.
dc.format.extent82 p.
dc.language.isocat
dc.relation.ispartofseriesLSI-99-9-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
dc.subject.otherELX
dc.subject.otherProofnets
dc.titleELX: entorn Latex pel dibuix de xarxes de demostració
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac1854444
dc.description.versionPostprint (published version)
local.citation.authorMerenciano, J.


Fitxers d'aquest items

Thumbnail
Nom:
R99-9.ps
Mida:
411,8Kb
Format:
Postscript
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple