STIRDAT

MaRDI QIDQ14753swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0169023X00000057

Described by source

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

This page was built for software: STIRDAT