|
Title:
|
Peix al cove: Co(peix)vE;
Producció encapsulada i incremental de xarxes de demostració;
Construcció opcional de valors i etiquetes
|
|
Author:
|
Merenciano Saladrigas, Josep Maria
|
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
|
Abstract:
|
El conjunt de macros Co(peix)vE amplia el paquet ELX de construcció de xarxes de demostració en dos àmbits principals: el (peix) que introdueix el concepte de bloc i aporta les eines necessàries per definir xarxes a partir dels blocs, i el cove que dóona versaltilitat a l'ús de les etiquetes. |
|
Abstract:
|
The Co(peix)vE macro set enhances ELX in two aspects: (peix) introduces the concept of a bloc and the tools to build up proofnets with blocs; CovE gives us more flexibility in using labels. |
|
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
-Co(peix)vE
-CovE
-ELX |
|
Rights:
|
|
|
Document type:
|
Article - Published version
Report |
|
Share:
|
|
