zbMath0692.68063MaRDI QIDQ3034850
Christian Lengauer
Publication date: 1988
zbMATH Keywords
automated theorem proving; proof checking
Mathematics Subject Classification ID