STIRDAT

swMATH2209MaRDI QIDQ14753FDOQ14753

Author name not available (Why is that?)

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