Publication Date:
1992
abstract:
Lecture Notes in Compuer Science n. 649
Iris type:
Capitolo di Libro
List of contributors:
Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
Book title:
Meta-programming in Logic