Fortæl dine venner om denne vare:
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
Pris
DKK 1.070
Bestilles fra fjernlager
Forventes klar til forsendelse 10. - 21. maj.
Tilføj til din iMusic ønskeseddel
Eller
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 1. juli 1996 |
| ISBN13 | 9783540615118 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 788 |
| Mål | 156 × 234 × 39 mm · 1,08 kg |
| Sprog | Fransk |
| Klipper/redaktør | Mcrobbie, Michael A. |
| Klipper/redaktør | Slaney, J.k. |
Se alt med Michael a Mcrobbie ( f.eks. Paperback Bog )