Vertel uw vrienden over dit artikel:
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
Prijs
€ 120,99
Besteld in een afgelegen magazijn
Verwachte levering 23 mei - 4 jun.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 1 juli 1996 |
| ISBN13 | 9783540615118 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 788 |
| Afmetingen | 156 × 234 × 39 mm · 1,08 kg |
| Taal en grammatica | Frans |
| Uitgever | Mcrobbie, Michael A. |
| Uitgever | Slaney, J.k. |
Bekijk alles van Michael a Mcrobbie ( bijv. Paperback Book )