This work is concerned with implicit second order abstract differential equations with nonlocal conditions. Assuming that the involved operators satisfy some compactness properties, we establish the existence of local mild solutions, the existence of global mild solutions and the existence of asymptotically almost periodic solutions.