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
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Monografia
|
Campus | /tT001.644 042 WIL (Browse shelf) | Available | 046585 | |
|
Monografia
|
Campus | /tT001.644 042 WIL (Browse shelf) | Available | 046586 | |
|
Monografia
|
Campus | /tT001.644 042 WIL (Browse shelf) | Available | 046587 |
Tesis : Ingeniero en Informático
There are no comments for this item.