About this scholarly article

Theorem Proving in Higher Order Logics Volume 1479 by Grundy, Jim; Newey, Malcolm is a scholarly article available to read on EtoBox.

Author

Grundy, Jim; Newey, Malcolm

Publisher

Springer Berlin Heidelberg

Published

1998