1
Udgivet 2007
Indholdsfortegnelse: ... and Perspectives of Automated Deduction -- Cognitive Technical Systems — What Is the Role of Artificial...
Få fuldtekst
Electronisk eBog