automated reasoning,5th international joint conference, ijcar 2010, edinburgh, uk, july 16-19, 2010, proceedings

jurgen (edt) giesl · springer-verlag new york inc