Workshop on Proof search in type-theoretic languages (in conjunction with CADE-15 conference), Lindau, Germany, July 5, 1998

Author name not available (Why is that?)

Publication date: 8 December 1998

Published in: (Search for Journal in Brave)

No records found.

This page was built for publication: Workshop on Proof search in type-theoretic languages (in conjunction with CADE-15 conference), Lindau, Germany, July 5, 1998

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