1
Publicerad 2007
Innehållsförteckning: ... and Perspectives of Automated Deduction -- Cognitive Technical SystemsWhat Is the Role of Artificial...
Hämta fulltext
Elektronisk E-bok