![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 - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540615118 - 1 juli 1996](https://imusic.b-cdn.net/images/item/original/118/9783540615118.jpg?michael-a-mcrobbie-1996-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-19&class=scaled&v=1604004508)
Tipsa dina vänner om produkten:
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
Mex$ 2.223,88
Beställningsvara
Förväntad leverans 22 maj - 3 jun
Lägg till din iMusic-önskelista
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
Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 1 juli 1996 |
ISBN13 | 9783540615118 |
Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
Antal sidor | 788 |
Mått | 156 × 234 × 39 mm · 1,08 kg |
Språk | Franska |
Redaktör | Mcrobbie, Michael A. |
Redaktör | Slaney, J.k. |
Se alt med Michael a Mcrobbie ( t.ex. Pocketbok )