[Lecture Notes in Computer Science] Computer Science Logic Volume 2803 || Computational Mathematics, Computational Logic, and Symbolic Computation
Baaz, Matthias; Makowsky, Johann A.
- 作者Baaz, Matthias; Makowsky, Johann A.
- 文件大小36.98KB
- 发表时间2003
- DOI10.1007/978-3-540-45220-1_10
- 页码98-99