Take a photo of a barcode or cover
Read With Others
Book Information
351 pages • paperback • 1 edition
ISBN/UID: 9783540562825
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 02 Dec 1992
Description
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, June 1992. The topics covered include foundations of metaprogramming in logic, proposals for meta...
Community Reviews
Content Warnings
351 pages • paperback
ISBN/UID: 9783540562825
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 02 Dec 1992
Description
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, June 1992. The topics covered include foundations of metaprogramming in logic, proposals for meta...
Community Reviews
Content Warnings