Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings - Lecture Notes in Computer Science - Franz Baader - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540405597 - 16 juli 2003
Om omslag och titel inte matchar är det titeln som gäller

Franz Baader
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

Pris
SEK 549

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions.

512 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 16 juli 2003
ISBN13 9783540405597
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 512
Mått 155 × 235 × 26 mm   ·   725 g
Språk Tyska  
Redaktör Baader, Franz

Fler produkter med Franz Baader

Visa alla

Se alt med Franz Baader ( t.ex. Pocketbok , Bok och Inbunden Bok )