AFFIRM

swMATH28906MaRDI QIDQ40620FDOQ40620

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: AFFIRM