Vinkkaa tuotetta kavereillesi:
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
Hinta
SEK 1.439
Tilattu etävarastosta
Arvioitu toimitus to - ti 13. - 25. kesä
Lisää iMusic-toivelistallesi
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | maanantai 1. heinäkuuta 1996 |
ISBN13 | 9783540615118 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 788 |
Mitta | 156 × 234 × 39 mm · 1,08 kg |
Kieli | French |
Toimittaja | Mcrobbie, Michael A. |
Toimittaja | Slaney, J.k. |
Katso kaikki joka sisältää Michael a Mcrobbie ( Esim. Paperback Book )