META-92 (1992 Uppsala, Sweden)

META-92 (1992 Uppsala, Sweden)

1 books in the database

Books

Meta-programmming in logicMETA-92 (1992 Uppsala, Sweden)

Meta-programmming in logic

META-92 (1992 Uppsala, Sweden) · 1992