Computational Logic (NATO ASI Series / Computer and Systems Sciences)
Edición de la obra Computational logic
| Autor | Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss |
|---|---|
| Editorial | Springer |
| Fecha de publicación |
Edición de la obra Computational logic
| Autor | Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss |
|---|---|
| Editorial | Springer |
| Fecha de publicación |
| May 14, 1999 |
| Idioma | inglés |
|---|
| Páginas | 444 |
|---|
| Formato | Hardcover |
|---|
| ISBN-13 | 9783540645894 |
|---|
| ISBN-10 | 3540645896 |
|---|
| Número de Cutter | B496c |
|---|