Theorem proving in higher order logics /
Aagaard,Mark (ed.)
Theorem proving in higher order logics / Aagaard,Mark (ed.). - 13th international c - Berlin: Springer, 2000. - ix,536p;23cm
Includes bibliographical references.
3540678638
004 LEC
Theorem proving in higher order logics / Aagaard,Mark (ed.). - 13th international c - Berlin: Springer, 2000. - ix,536p;23cm
Includes bibliographical references.
3540678638
004 LEC