| 000 -CABECERA |
|---|
| campo de control de longitud fija |
00718nam a2200169Ia 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
241004s9999 xx 000 0 und d |
| 082 ## - CLASIFICACIÓN - CUTTER |
|---|
| Clasificación |
T001.644 042 WIL |
| 100 ## - Autor |
|---|
| Nombre de persona |
Willigs Villalba, Clara María |
| 245 #0 - TÍTULO |
|---|
| Título |
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 |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Editorial |
Universidad Católica. Facultad de Ciencias y Tecnología |
| Ciudad - País |
Asunción- |
| Fecha de publicación. |
1995 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Número de páginas |
100p. Bibl |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Tesis : Ingeniero en Informático |
| 650 ## - Temas |
|---|
| Término |
DEMOSTRACION AUTOMATICA DE TEOREMAS |
| 650 ## - Temas |
|---|
| Término |
REDES NEURALES |
| 650 ## - Temas |
|---|
| Término |
SISTEMAS DE REESCRITURA DE TERMINOS |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
TESIS |
| 952 ## - LOCALIZACIÓN E INFORMACIÓN DEL ÍTEM/UNIDAD FÍSICA (KOHA) |
|---|
| -- |
0 |
| -- |
0 |
| 952 ## - LOCALIZACIÓN E INFORMACIÓN DEL ÍTEM/UNIDAD FÍSICA (KOHA) |
|---|
| -- |
0 |
| -- |
0 |
| 952 ## - LOCALIZACIÓN E INFORMACIÓN DEL ÍTEM/UNIDAD FÍSICA (KOHA) |
|---|
| -- |
0 |
| -- |
0 |
