AFFIRM

MaRDI QIDQ40620swMATHFDO

Official website https://link.springer.com/chapter/10.1007/3-540-10009-1_18

Cited in

(6)

• Man-machine theorem proving in graph theory
• RRL
• Tecton
• NARROWER
• History and basic features of the critical-pair/completion procedure
• An overview of the Tecton proof system

This page was built for software: AFFIRM