Lecture Notes in Artificial Intelligence
Static Semantics as Program Transformation and Well-Founded Computation
LANZARONE, GAETANO AURELIO
1995-01-01
Abstract
Lecture Notes in Artificial IntelligenceFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.