Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
Na minha lista:
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | Tese livro eletrônico |
| Idioma: | Spanish |
| Publicado em: |
Madrid :
Universidad Complutense de Madrid,
2000.
|
| Assuntos: | |
| Acesso em linha: | https://elibro.net/ereader/unach/87411 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|