Sistema Bibliotecario
Catálogos
Bibioteca Digital
Servicios Bibliotecarios
Normal view
MARC view
2. Inteligencia Artificial (Término temático)
Machine generated authority record.
Work cat.: (OSt)23756: Chang, Chin-Liang 49812, Simbolic Logic and Mechanical Theorem Proving / , 1987