Originalsprog | Engelsk |
---|---|
Titel | Logic Program Synthesis and Transformation. Proceedings |
Redaktører | M. Proietti |
Forlag | Springer Verlag |
Publikationsdato | 1996 |
Sider | 234-251 |
DOI | |
Status | Udgivet - 1996 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 1048 |
ISSN | 0302-9743 |