automated deduction - a basis for applications volume i foundations - calculi and methods volume ii systems and implementation techniques volume iii a (en Inglés)

bibel, w. · springer