September 1, 2002· Journal of Automated Reasoning
article
Automated Proof Construction in Type Theory Using Resolution
Authors:Marc BezemDimitri HendriksHans de Nivelle
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.