First-Order Logic and Automated Theorem Proving
Edición de la obra First-Order Logic and Automated Theorem Proving
| Autor | Melvin Fitting |
|---|---|
| Editorial | Island Press |
| Fecha de publicación | 1990 |
| Idioma | inglés |
| ISBN-13 | 9781468403589 |
| Número de Cutter | F547f |
Edición de la obra First-Order Logic and Automated Theorem Proving
| Autor | Melvin Fitting |
|---|---|
| Editorial | Island Press |
| Fecha de publicación | 1990 |
| Idioma | inglés |
| ISBN-13 | 9781468403589 |
| Número de Cutter | F547f |