TY  - BOOK
AU  - Willigs Villalba, Clara María
TI  - El uso de redes neurales para guiar la simplificación de términos en un demostrador automática de teoremas : primeros resultados para la teoría de los grupos
U1  - /tT001.644 042 WIL 
PY  - 1995///
CY  - Asunción-
PB  - Universidad Católica. Facultad de Ciencias y Tecnología
KW  - DEMOSTRACION AUTOMATICA DE TEOREMAS
KW  - REDES NEURALES
KW  - SISTEMAS DE REESCRITURA DE TERMINOS
N1  - Tesis : Ingeniero en Informático
ER  -