| Originalsprog | Engelsk |
|---|---|
| Titel | Logic (META96) |
| Vol/bind | 127 |
| Udgivelsessted | Uppsala |
| Forlag | Computer Science department, Uppsala University |
| Publikationsdato | 1996 |
| Sider | 13-25 |
| Status | Udgivet - 1996 |
On solving member and instance constraints: metaprogramming and metareasoning
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning