Diagrammatic reasoning : cognitive and computational perspectives / B. Chandrasekaran, Janice Glasgow, N. Hari Narayanan, eds. - xxvii, 780 páginas : ilustraciones ;

Incluye referencias bibliograficas e indice

0262571129


Demostración automática de teoremas
Inteligencia artificial
Procesamiento de imágenes
Solución de problemas

QA76.9A96 / D53

006.3/3