First-order logic and automated theorem proving
Edición de la obra First-order logic and automated theorem proving
| Autor | Melvin Fitting |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1990 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 242 |
| ISBN-10 | 0387972331, 3540972331 |
| OCLC | 20828057 |
| LCCN | 89026321 |
| Serie | Texts and monographs in computer science |
| Número de Cutter | F547f |