1
出版 2007
书本目录: ... and Perspectives of Automated Deduction -- Cognitive Technical Systems — What Is the Role of Artificial...
获取全文
电子 电子书