Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Indeterminado |
| Publicado: |
Mar del Plata :
Universidad Nacional. Facultad de Ciencias Exactas y Naturales,
1989
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Descripción Física: | 1 v. (varias paginaciones) |
|---|