Automated Reasoning
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
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)
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
Anmelden