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í |
Search Result 1