Meta-programmming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /
A. Pettorossi (ed.).
- Berlin : Springer, 1992.
- XII, 351 s. ; 24 cm.
- Lecture Notes in Computer Science ; 649 .
- Lecture Notes in Computer Science 649 .