1
Được phát hành 2007
Mục lục: ... and Perspectives of Automated Deduction -- Cognitive Technical Systems — What Is the Role of Artificial...
lấy văn bản
Điện tử eBook