Automated Reasoning (eBook, PDF)
eBook, PDF

Automated Reasoning (eBook, PDF)

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

Redaktion: Giesl, Jürgen; Hähnle, Reiner
Versandkostenfrei!
Sofort per Download lieferbar
73,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
PAYBACK Punkte
37 °P sammeln!
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 IJ...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.