Automated deduction
a basis for applications
Edición de la obra Automated deduction
| Autor | W. Bibel, Peter H. Schmitt |
|---|---|
| Editorial | Kluwer Academic Publishers |
| Fecha de publicación | 1998 |
| Lugar | Dordrecht, Boston |
| Idioma | inglés |
| ISBN-10 | 0792351320, 0792351290, 0792351304, 0792351312 |
| OCLC | 40744546 |
| LCCN | 99164724, gb98053848 |
| Serie | Applied logic series ; · v. 8-10 |
| Número de Cutter |