Logic-based program synthesis and transformation : 8th international workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
Pierre Flener (ed.)
Bok Engelsk 1999 LOPSTR '98
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | X, 330 s. : ill.
|
| Emner | |
| ISBN | 3540657657
|
