HYPERSOLVER

swMATH1157MaRDI QIDQ13899FDOQ13899

Author name not available (Why is that?)

Official website: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.4540

Described by source

• HYPERSOLVER: A graphical tool for commonsense set theory

This page was built for software: HYPERSOLVER