MiniTab

swMATH26324MaRDI QIDQ38055FDOQ38055

Author name not available (Why is that?)

Described by source

• A tableau prover for domain minimization

Cited In (1)

• General domain circumscription and its first-order reduction

This page was built for software: MiniTab