Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3--6, 2001. Proceedings

Author name not available (Why is that?)

Publication date: 10 October 2001

Published in: (Search for Journal in Brave)

No records found.

This page was built for publication: Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3--6, 2001. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5944573)