"The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the ..."

Oliver Bittel (1992)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2012-05-15