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) -
Pivoting and extensions: in honore of A.W. Tucker /
Publicado: (1974) -
Geografía matemática y cartografía /
por: Bignasco, Osvaldo A.
Publicado: (1983) -
Mathematical programming in use /
Publicado: (1978)