Meta-Programming in Logic: Third International Workshop, Meta-92 Uppsala, Sweden, June 10-12, 1992 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: December 1992
Language: eng
Number of pages: 363
ISBN-13: 9780387562827