[Lecture Notes in Computer Science] Program Development in Computational Logic Volume 3049 || Synthesis of Programs in Computational Logic
Bruynooghe, Maurice; Lau, Kung-Kiu
- 作者Bruynooghe, Maurice; Lau, Kung-Kiu
- 文件大小371.99KB
- 发表时间2004
- DOI10.1007/978-3-540-25951-0_2
- 页码30-65