scientific article; zbMATH DE number 3684928

MaRDI QIDQ3880315zbMATH OpenFDO

Authors Roddy W. Erickson, David R. Musser

Publication date 1980

zbMATH Keywords

abstract data typesAFFIRM theorem proverinteractive natural-deduction system

Mathematics Subject Classification ID

Data structures (68P05)

Cited in

(3)

• Man-machine theorem proving in graph theory
• An overview of the Tecton proof system
• AFFIRM

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3880315)