Higher order logic theorem proving and its applications. 6th International Workshop, HUG '93, Vancouver, B. C., Canada, August 11-13, 1993. Proceedings
From MaRDI portal
Publication:1326227
zbMATH Open0825.00113MaRDI QIDQ1326227
Author name not available (Why is that?)
Publication date: 17 May 1994
Published in: (Search for Journal in Brave)
No records found.
No records found.
This page was built for publication: Higher order logic theorem proving and its applications. 6th International Workshop, HUG '93, Vancouver, B. C., Canada, August 11-13, 1993. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1326227)
