Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
Gardado en:
| Autor Principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | Thesis eBook |
| Idioma: | Spanish |
| Publicado: |
Madrid :
Universidad Complutense de Madrid,
2000.
|
| Subjects: | |
| Acceso en liña: | https://elibro.net/ereader/unach/87411 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|