<<<

Definizione di strutture algebriche (OR3).

Questa attività avrà inizio non appena saranno state definite le caratteristiche funzionali degli operatori di base.

I risultati attesi per OR3 sono:

• verificare la fattibilità di tale approccio,

• definire i limiti di applicazione,

• pubblicazione scientifica,

• regole di semplificazione da introdurre in AUCTORES.

>>>