Automated theorem proving /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | English |
| Publicado em: |
Braunschweig :
F. Vieweg,
1982.
|
| Assuntos: |
| Descrição do item: | Includes index. |
|---|---|
| Descrição Física: | xiii, 292 p. : ill. ; 23 cm. |
| Bibliografia: | Bibliography: p. [277]-287. |
| ISBN: | 3528085207 : |