
Vinkkaa tuotetta kavereillesi:
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
Franz Baader
Hinta
R$ 359,59
Tilattu etävarastosta
Arvioitu toimitus pe - ma 8. - 18. elo
Lisää iMusic-toivelistallesi
Eller
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
Franz Baader
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | keskiviikko 16. heinäkuuta 2003 |
ISBN13 | 9783540405597 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 512 |
Mitta | 155 × 235 × 26 mm · 725 g |
Kieli | German |
Toimittaja | Baader, Franz |
Näytä kaikki
Lisää tuotteita Franz Baader
Katso kaikki joka sisältää Franz Baader ( Esim. Paperback Book , Book Ja Hardcover Book )