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
Om omslag och titel inte matchar är det titeln som gäller

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
SEK 1.379

Beställningsvara

Förväntad leverans 23 apr - 3 maj
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

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 Tyskland, 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.