Data di Pubblicazione:
2001
Abstract:
Lecture Notes in Computer Science
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Avellone, A; Ferrari, Mauro; Fiorentini, C.
Link alla scheda completa:
Titolo del libro:
Logic Based Program Synthesis and Transformation