Meta-Programming in Logic: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992. Proceedings by

Lecture Notes in Computer Science

Meta-Programming in Logic: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

351 pages paperback

1 edition

nonfiction art computer science mathematics challenging informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

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...

Show More

Community Reviews

Loading...

Content Warnings

Loading...