AFFIRM

swMATH28906MaRDI QIDQ40620FDOQ40620

Author name not available (Why is that?)

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