Recomienda este artículo a tus amigos:
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996, Proceedings (Cade-13, International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-august 3, 1996 - P
Michael a Mcrobbie
Precio
S$ 173,16
Pedido desde almacén remoto
Entrega prevista 24 de may. - 5 de jun.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996, Proceedings (Cade-13, International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-august 3, 1996 - P
Michael a Mcrobbie
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.
788 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 1 de julio de 1996 |
| ISBN13 | 9783540615118 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 788 |
| Dimensiones | 156 × 234 × 39 mm · 1,08 kg |
| Lengua | French |
| Editor | Mcrobbie, Michael A. |
| Editor | Slaney, J.k. |
Ver todo de Michael a Mcrobbie ( Ej. Paperback Book )