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
Por: Willigs Villalba, Clara María
.
Editor: Asunción- Universidad Católica. Facultad de Ciencias y Tecnología 1995Descripción: 100p. Bibl.Tema(s): DEMOSTRACION AUTOMATICA DE TEOREMAS | REDES NEURALES | SISTEMAS DE REESCRITURA DE TERMINOSClasificación CDD: T001.644 042 WIL
| Tipo de ítem | Ubicación actual | Signatura | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|
TESIS
|
Campus | T001.644 042 WIL (Navegar estantería) | Disponible | 046585 | |
|
TESIS
|
Campus | T001.644 042 WIL (Navegar estantería) | Disponible | 046586 | |
|
TESIS
|
Campus | T001.644 042 WIL (Navegar estantería) | Disponible | 046587 |
Navegando Campus Estantes, Ubicación: Colección general Cerrar el navegador de estanterías
Tesis : Ingeniero en Informático
No hay comentarios para este ejemplar.