STIRDAT
STIRDAT: A system tightly integrating relational databases and a theorem prover
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
Sorted by year (