First-order logic and automated theorem proving
Edición de la obra First-order logic and automated theorem proving
| Autor | Melvin Fitting |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1996 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 326 |
| ISBN-10 | 0387945938 |
| OCLC | 33405954 |
| LCCN | 95045225 |
| Serie | Graduate texts in computer science · Graduate texts in computer science (Springer-Verlag New York Inc.) |
| Número de Cutter |