[Lecture Notes in Computer Science] Algorithms and Computations Volume 1004 || Practical logic
Staples, John; Eades, Peter; Katoh, Naoki; Moffat, Alistair
- 作者Staples, John; Eades, Peter; Katoh, Naoki; Moffat, Alistair
- 文件大小45.66KB
- 发表时间1995
- DOI10.1007/BFb0015419
- 页码162-162