STIRDAT

swMATH2209MaRDI QIDQ14753

No author found.

Described by source

• STIRDAT: A system tightly integrating relational databases and a theorem prover

This page was built for software: STIRDAT