Produktbild
Jürgen (Hrsg.) Giesl

Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Ebook (PDF Format)

This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the conference sponsors - EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc. , Google, Hewlett-Packard, Intel - is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001… Mehr

CHF 140.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Hähnle, Reiner (Hrsg.)
  • ISBN: 978-3-642-14203-1
  • EAN: 9783642142031
  • Produktnummer: 33313818
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2010
  • Seitenangabe: 534 S.
  • Plattform: PDF
  • Masse: 8'065 KB
  • Auflage: 2010
  • Abbildungen: 85 schwarz-weiße Abbildungen, Bibliographie
  • Reihenbandnummer: 6173

3 weitere Werke von Jürgen (Hrsg.) Giesl:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.