Sofia

MaRDI QIDQ41839swMATHFDO

Official website https://pdfs.semanticscholar.org/f349/0fda2008ef9aefaadba2a7a9572088914586.pdf

Described by source

• HyperS tableaux -- heuristic hyper tableaux

This page was built for software: Sofia