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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540615118 - maanantai 1. heinäkuuta 1996
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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
S$ 183,15

Tilattu etävarastosta

Arvioitu toimitus to 23. touko - ti 4. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
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

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 )