Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science)
Format: kindle
ASIN: B000V1GLPG
Publish date: June 13th 2008
Publisher: Springer
Pages no: 356
Edition language: English