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
By: Willigs Villalba, Clara María
.
Publisher: Asunción- Universidad Católica. Facultad de Ciencias y Tecnología 1995Description: 100p. Bibl.Subject(s): DEMOSTRACION AUTOMATICA DE TEOREMAS | REDES NEURALES | SISTEMAS DE REESCRITURA DE TERMINOSDDC classification: /tT001.644 042 WIL
No physical items for this record
Tesis : Ingeniero en Informático
There are no comments for this item.