Faites connaître cet article à vos amis:
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
Prix
Íkr 18.060,55
Commandé depuis un entrepôt distant
Livraison prévue 30 mai - 11 juin
Nos clients disent :
Ajouter à votre liste de souhaits 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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 1 juillet 1996 |
| ISBN13 | 9783540615118 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 788 |
| Dimensions | 156 × 234 × 39 mm · 1,08 kg |
| Langue et grammaire | French |
| Éditeur | Mcrobbie, Michael A. |
| Éditeur | Slaney, J.k. |
Voir tous les Michael a Mcrobbie ( par ex. Paperback Book )