Fortell venner om denne varen:
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
Pris
zł 203,90
Bestillingsvarer
Forventes levert 7. - 15. aug
Legg til iMusic ønskeliste
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 16. juli 2003 |
| ISBN13 | 9783540405597 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 512 |
| Mål | 155 × 235 × 26 mm · 725 g |
| Språk | Tysk |
| Redaktør | Baader, Franz |
![Cover for Franz Baader · The Description Logic Handbook: Theory, Implementation and Applications (Pocketbok) [2 Revised edition] (2010)](https://imusic.b-cdn.net/images/item/original/118/9780521150118.jpg?franz-baader-2010-the-description-logic-handbook-theory-implementation-and-applications-pocketbok&class=scaled&v=1406062745)
![Cover for Franz Baader · Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/475/9783540734475.jpg?franz-baader-2007-term-rewriting-and-applications-18th-international-conference-rta-2007-paris-france-june-26-28-2007-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1504375631)
