Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad /
Guardado en:
| Autor principal: | Coniglio, Marcelo |
|---|---|
| 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í |
Ejemplares similares
-
Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad /
por: Coniglio, Marcelo
Publicado: (1989) -
Procesos iterativos lineales /
por: Levis, Fabián Eduardo
Publicado: (1995) -
Geografía matemática y cartografía /
por: Bignasco, Osvaldo A.
Publicado: (1983) -
Distribuciones dependientes de un parámetro y método de prolongación analítica /
por: Martínez, Federico Nicolás
Publicado: (2005) -
Pivoting and extensions: in honore of A.W. Tucker /
Publicado: (1974)