First-order logic and automated theorem proving
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York, NY :
Springer,
c1996
|
| Edición: | 2nd. ed. |
| Colección: | Graduate texts in computer science
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |