Acronyms von A bis Z
LNCS1479
-J. Grundy/M. Newey (Eds.): Theorem Proving in Higher Order Logics. Proceedings, Springer-Verlag 1998
-J. Grundy/M. Newey (Eds.): Theorem Proving in Higher Order Logics. Proceedings, Springer-Verlag 1998