A many-sorted calculus based on resolution and paramodulation /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | inglês |
| Publicado em: |
London :
Pitman Publishing,
1987
|
| Edição: | 1.vyd. |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|