GLEFatinf

MaRDI QIDQ38052swMATHFDO

Official website https://link.springer.com/chapter/10.1007/BFb0013180

Cited in

(5)

• KRIPKE
• TABLEAUX
• Hyperproof
• scientific article; zbMATH DE number 1761417 (Why is no real title available?)
• A Shell for Generic Interactive Proof Search

This page was built for software: GLEFatinf