Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)
Edición de la obra Automated deduction
| Autor | W. Bibel, Peter H. Schmitt |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 30, 1998 |
| Idioma | inglés |
| Páginas | 448 |
| Formato | Hardcover |
| ISBN-13 | 9780792351306 |
| ISBN-10 | 0792351304 |
| Número de Cutter | B581a |